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 about 1 month ago 1 commits 2 stars
quark-coder|Mirror: mathvet/mathvet (⭐2)
about 1 month 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