HyperCactus0/LeanTransitionCorpus download history

HyperCactus0/LeanTransitionCorpus is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 9,443 times (2,197 in the last 7 days), and 9,443 times in total. It ranks #3,195 among datasets by monthly downloads.

LeanTransitionCorpus LeanTransitionCorpus is a dataset for training and studying automated theorem proving systems in Lean. Its unit of data is one tactic transition: the proof state before a tactic, the tactic that was executed, and the resulting state. This makes it suitable for tac

Spaces using LeanTransitionCorpus

• Model Pulse 8 likes

Open HyperCactus0/LeanTransitionCorpus on Hugging Face

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