Relative generation and the generator problem for finite factors

We prove that every type $\mathrm{II}_1$ factor with separable predual is generated by one operator, equivalently by two self-adjoint operators. Combined with the established direct-integral reduction to this case, this gives an affirmative solution of the generator problem for von Neumann algebras with separable predual.