1 result found Sort:

Eleanor-H
MUSTARD Eleanor-H
1
37
unknown
3
Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
ai4math data-synthesis theorem-proving machine-learning complex-reasoning math-word-problem large-language-models automated-theorem-proving math-word-problem-solving natural-language-processing
Created 2024-02-14
7 commits to main branch, last one 5 months ago