Searching protocol for "math-proof"
Self-reflection optimization for ML with math proofs.
Generate verified math proofs