Eleanor-H / MUSTARD

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

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

Commits 7 (last one 6 months ago)

Stargazers 37 (0 this week)

Watchers 3 (0 this week)

Forks 1

License unknown

Ranking

RepositoryStats indexes 595,856 repositories, of these Eleanor-H/MUSTARD is ranked #535,835 (10th percentile) for total stargazers, and #427,587 for total watchers. Github reports the primary language for this repository as C++, for repositories using this language it is ranked #29,247/31,836.

Eleanor-H/MUSTARD is also tagged with popular topics, for these it's ranked: machine-learning (#7,521/8063), natural-language-processing (#1,335/1429), large-language-models (#942/1090)

Other Information

Eleanor-H/MUSTARD has Github issues enabled, there are 2 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: 2024-11-14 @ 05:58pm, id: 757245080 / R_kgDOLSKkmA