Eleanor-H / MUSTARD

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

Date Created 2024-02-14 (4 months ago)

Commits 7 (last one about a month ago)

Stargazers 28 (0 this week)

Watchers 3 (0 this week)

Forks 1

License unknown

Ranking

RepositoryStats indexes 534,880 repositories, of these Eleanor-H/MUSTARD is ranked #522,730 (2nd percentile) for total stargazers, and #399,187 for total watchers. Github reports the primary language for this repository as C++, for repositories using this language it is ranked #28,213/28,724.

Eleanor-H/MUSTARD is also tagged with popular topics, for these it's ranked: machine-learning (#7,272/7374), natural-language-processing (#1,304/1318), large-language-models (#804/844)

Other Information

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: 2024-06-27 @ 03:36am, id: 757245080 / R_kgDOLSKkmA