math-proof-verification-agent

provenance:github:kanishk393/math-proof-verification-agent

Agentic mathematical proof generation with a 5-judge verification harness, Lean 4 formal checking, and GEPA (DSPy MIPROv2) prompt optimization — overall pass rate 28.6% → 100%

View Source ↗First seen 3d agoNot yet hireable

PUBLIC HISTORY

First discoveredAug 22, 2026

IDENTITY

inferred

Identity inferred from code signals. No PROVENANCE.yml found.

Is this yours? Claim it →

METADATA

platformgithub

first seenAug 20, 2026

last updatedAug 20, 2026

last crawledtoday

version—

README BADGE

Add to your README:

![Provenance](https://getprovenance.dev/api/badge?id=provenance:github:kanishk393/math-proof-verification-agent)