GitHub / Eleanor-H / MUSTARD
Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Eleanor-H%2FMUSTARD
PURL: pkg:github/Eleanor-H/MUSTARD
Stars: 38
Forks: 1
Open issues: 3
License: None
Language: C++
Size: 21 MB
Dependencies parsed at: Pending
Created at: over 1 year ago
Updated at: 7 months ago
Pushed at: about 1 year ago
Last synced at: 6 months ago
Topics: ai4math, automated-theorem-proving, complex-reasoning, data-synthesis, large-language-models, machine-learning, math-word-problem, math-word-problem-solving, natural-language-processing, theorem-proving