math-word-problem-solving topic

List math-word-problem-solving repositories

MUSTARD

37
Stars
1
Forks
Watchers

Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

verified publisher icon Eleanor-H