Eleanor-H / MUSTARD

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

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

Commits 7 (last one 5 months ago)

Stargazers 37 (0 this week)

Watchers 3 (0 this week)

Forks 1

License unknown

Ranking

RepositoryStats indexes 584,777 repositories, of these Eleanor-H/MUSTARD is ranked #527,646 (10th percentile) for total stargazers, and #422,609 for total watchers. Github reports the primary language for this repository as C++, for repositories using this language it is ranked #28,792/31,292.

Eleanor-H/MUSTARD is also tagged with popular topics, for these it's ranked: machine-learning (#7,416/7935), natural-language-processing (#1,321/1412), large-language-models (#905/1048)

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