Batch Bayesian optimization of attosecond betatron pulses from laser wakefield acceleration | Synapse