uw-math-ai/theorem-search-dataset download history

uw-math-ai/theorem-search-dataset is a question answering dataset on the Hugging Face Hub. In the last 30 days it was downloaded 219 times (100 in the last 7 days), and 2,254 times in total. It ranks #62,790 among datasets by monthly downloads.

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/s

Spaces using theorem-search-dataset

Open uw-math-ai/theorem-search-dataset on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.