Mathematical discovery and proof workflows with durable recovery, explicit evidence scopes, and optional CAS/Lean verification.
theorem-proving proof-assistant formal-methods dynamic-programming operations-research symbolic-computation codex bandits wolfram-language learning-theory proof-search mechanism-design wolfram-engine lean4 mathematical-proofs agent-skills codex-skill proof-debugging failed-proof-recovery route-control
-
Updated
Sep 24, 2026 - Python