jessteru/math-graph download history

jessteru/math-graph is a text retrieval dataset on the Hugging Face Hub. In the last 30 days it was downloaded 83 times (30 in the last 7 days), and 417 times in total. It ranks #129,953 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

Open jessteru/math-graph on Hugging Face

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