Table · dataset · 2026
Theorem Search Dataset
Listed in Hugging Face Datasets
Description
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 all… See the full description on the dataset page: huggingface.co/datasets/uw-math-ai/theorem-search-dataset.
Links
Where it is published
- Hugging Face dataset page huggingface.co/datasets/uw-math-ai/theorem-search-dataset ↗
landing page · from Hugging Face
Documentation and papers
- arXiv:2602.05216 arxiv.org/abs/2602.05216 ↗
publication · from Hugging Face
Catalogue records · 1
- Hub API huggingface.co/api/datasets/uw-math-ai/theorem-search-dataset ↗
metadata API · from Hugging Face
Topics
- Stated by source
- feature extraction · question answering · sentence similarity · tabular · text
- From keywords
- Computer Science & AI
- Inferred from text
- Data management and data science 72%
Provenance · 1 source records, 14 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| Hugging Face Datasets | uw-math-ai/theorem-search-dataset | 12 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · Hugging Face | connector:huggingface@1.0.0 | /gated |
| concepts[field].anzsrc:group:4605 | enrichment · Hugging Face | taxonomy-embedding@1.1.0 | title+keywords+description (72%) |
| concepts[field].local:field:computer-science-ai | mapping · Hugging Face | connector:huggingface@1.0.0 | |
| concepts[modality].hf_modality:tabular | source · Hugging Face | connector:huggingface@1.0.0 | |
| concepts[modality].hf_modality:text | source · Hugging Face | connector:huggingface@1.0.0 | |
| concepts[task].hf_task:feature-extraction | source · Hugging Face | connector:huggingface@1.0.0 | /tags[task_categories:*] |
| concepts[task].hf_task:question-answering | source · Hugging Face | connector:huggingface@1.0.0 | /tags[task_categories:*] |
| concepts[task].hf_task:sentence-similarity | source · Hugging Face | connector:huggingface@1.0.0 | /tags[task_categories:*] |
| created_date | source · Hugging Face | connector:huggingface@1.0.0 | |
| description | source · Hugging Face | connector:huggingface@1.0.0 | /description |
| license | source · Hugging Face | connector:huggingface@1.0.0 | /tags[license:*] |
| publication_date | source · Hugging Face | connector:huggingface@1.0.0 | |
| title | source · Hugging Face | connector:huggingface@1.0.0 | /id |
| updated_date | source · Hugging Face | connector:huggingface@1.0.0 |