search

Dahoas / EAI4Math

6 stars 2 forks source link

Relevants benchmarks/datasets #5

Open Dahoas opened 5 months ago

Dahoas commented 5 months ago

Add relevant datasets/benchmarks with links to papers.

Dahoas commented 5 months ago

DeepSeek Theorem

Paper: https://arxiv.org/abs/2405.14333 Dataset:

justinchiu-cohere commented 4 months ago

NaturalProofs

Paper: https://arxiv.org/abs/2104.01112 Dataset: https://github.com/wellecks/naturalproofs (raw json download works at least) Composition:

  1. Proofwiki
  2. Stacks (algebraic geometry latex)
  3. Real analysis textbook
  4. Number theory textbook Screenshot 2024-07-19 at 1 50 01 PM
Dahoas commented 3 months ago

NuminaMath

Dataset: https://huggingface.co/collections/AI-MO/numinamath-6697df380293bcfdbc1d978c