uw-math-ai/math-graph download history
uw-math-ai/math-graph is a text retrieval dataset on the Hugging Face Hub. In the last 30 days it was downloaded 458 times (187 in the last 7 days), and 1,377 times in total. It ranks #35,485 among datasets by monthly downloads.
Math-Graph Math-Graph is the dataset behind TheoremGraph, a unified, statement-level dependency graph spanning both informal and formal mathematics. On the informal side it parses millions of theorem-like environments from mathematics arXiv and recovers directed dependency edges withi