Theorem Search Dataset

Summary

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.

Keywords

hf-dataset qa · -embeddings · -embeddings---similarity · -math parquet tabular text datasets pandas polars mlcroissant math theorems semantic-search information-retrieval latex arxiv has-paper

Topics

QA, Embeddings, Embeddings / Similarity, Math

Research notes

• downloads=256; likes=24