Mixed-Initiative Methods for Verifiable, Controllable Creation in Scientific Research