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