AK123321/

real-math-corpus-questions-with-retrievals

	Real Math Corpus - Statement Dependencies and Questions




	
	Dataset Description

This dataset contains a comprehensive collection of mathematical statements and questions extracted from the Real Math Dataset with 207 mathematical papers. The dataset is split into two parts:

Corpus: Statement dependencies and proof dependencies with complete metadata and global ID mapping Questions: Main statements from papers treated as questions, with dependency mappings to the corpus… See the full description on the dataset page: https://huggingface.co/datasets/AK123321/real-math-corpus-questions-with-retrievals.