Neutrino nucleus scattering is a multi-scale problem involving scales ranging from the nuclear mass, 10-100 GeV, to low energy scales such as the electron mass, photon detection cut-offs, and (in the case of beta decays) atomic screening effects. Predictions at the level of a few-percent accuracy must incorporate QED-corrections the calculation of which are substantially complicated by the many scales in the problem.

In this talk I will outline recent progress towards QED-factorization theorems for lepton-nucleus scattering. I will briefly summarize work (by others) on neutrino-nucleon factorization, and then describe results for low-energy leptons (relevant for e.g.\ pi-DAR experiments, beta decay, and other low-energy kinematics).