MathVet: independent, pre-referee fidelity reviews of AI-generated Lean formalizations. First review: openai/math (235 families). Does the Lean statement say what the paper claims?
Lean Updated 9 days ago 1 commits 2 stars
quark-coder|Mirror: mathvet/mathvet (⭐2)
9 days agoAbout
MathVet: independent, pre-referee fidelity reviews of AI-generated Lean formalizations. First review: openai/math (235 families). Does the Lean statement say what the paper claims?
Readme
2 stars