KbsdJames / MATH-Minos

The implementation of paper "LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Feedback"
34Updated 3 months ago

Related projects

Alternatives and complementary repositories for MATH-Minos