harmonic-ai / datasetsLinks
Harmonic Datasets
☆40Updated 10 months ago
Alternatives and similar repositories for datasets
Users that are interested in datasets are comparing it to the libraries listed below
Sorting:
- The official repository for the paper Multilingual Mathematical Autoformalization☆36Updated last year
- LLMs + Lean, on your laptop or in the cloud☆154Updated last month
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆84Updated 5 months ago
- Neural theorem proving tutorial, version II☆36Updated last year
- ☆57Updated 2 weeks ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆64Updated 4 months ago
- This is the official repository for all the code of TheoremLlama