datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
theorem-search-dataset
Theorem Search Dataset
The largest open corpus of informal mathematical theorems: 1,341,083 theorem statements with natural-language slogans from 209,777 papers, designed for semantic theorem retrieval.
Paper: Semantic Search over 9 Million Mathematical Theorems
Demo: huggingface.co/spaces/uw-math-ai/theorem-search
Benchmark results
On 110 test queries written by research mathematicians, our best pipeline (Qwen3-Embedding-8B on DeepSeek-V3.1 slogans) outperforms… See the full description on the dataset page: https://huggingface.co/datasets/uw-math-ai/theorem-search-dataset.ProofWiki-TheoremsSet of theorems scraped from Proofwiki.org.
28k Theorem and Proof pairs.
options_theorems_simplified_count_0