Search for a command to run...
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization