Searching protocol for "conjecture"
Explore conjectures to build toward proofs.
Adversarial analysis for robust recommendations.
Formalize math and code with Lean 4.