LLM agent generating rigorously verified math proofs: DSPy + GEPA prompt optimization + Lean 4/Mathlib formal checking
TeX Updated about 2 months ago 1 commits
helix-ai|Mirror: Aditi21372/ineqmath-proof-agent (⭐0)
about 2 months agoAbout
LLM agent generating rigorously verified math proofs: DSPy + GEPA prompt optimization + Lean 4/Mathlib formal checking
Readme