Three-loop helicity amplitudes of four-lepton scattering in QED | Synapse