Searching protocol for "mathematical proofs"
Execute plans in batches, with expert checkpoints.
Refine ideas into robust designs, step-by-step.