KbsdJames / MATH-Minos

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

Alternatives and similar repositories for MATH-Minos:

Users that are interested in MATH-Minos are comparing it to the libraries listed below