Eleanor-H / MUSTARD

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

Date Created 2024-02-14 (about a year ago)

Commits 7 (last one 10 months ago)

Stargazers 40 (0 this week)

Watchers 3 (0 this week)

Forks 1

License unknown

Ranking

RepositoryStats indexes 632,894 repositories, of these Eleanor-H/MUSTARD is ranked #546,147 (14th percentile) for total stargazers, and #417,466 for total watchers. Github reports the primary language for this repository as C++, for repositories using this language it is ranked #29,898/33,733.

Eleanor-H/MUSTARD is also tagged with popular topics, for these it's ranked: machine-learning (#7,594/8405), natural-language-processing (#1,339/1472), large-language-models (#1,025/1230)

Other Information

Eleanor-H/MUSTARD has Github issues enabled, there are 3 open issues and 3 closed issues.

Homepage URL: mustard: Mastering Uniform Synthesis of Theorem and Proof Data | OpenReview

All Topics

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

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

7 commits on the default branch (main) since jan '22

Yearly Commits

Commits to the default branch (main) per year

Issue History

Languages

The primary language is C++ but there's also others...

updated: 2025-03-23 @ 05:24pm, id: 757245080 / R_kgDOLSKkmA