HyperCactus0/LeanTransitionCorpus
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 tactic prediction, proof-state representation learning, premise selection, retrieval, verification, and trajectory-level training. Many Lean datasets expose a theorem, tactic, and pretty-printed goal… See the full description on the dataset page: https://huggingface.co/datasets/HyperCactus0/LeanTransitionCorpus.
Publish compact transition schema v3
Record 22 schema v3 batch manifests
Migrate 36 transition shards to schema v3
Record 624 schema v3 batch manifests
Migrate 1000 transition shards to schema v3
Record 626 schema v3 batch manifests
Migrate 1000 transition shards to schema v3
Record 632 schema v3 batch manifests
Migrate 1000 transition shards to schema v3
Record 629 schema v3 batch manifests
Migrate 999 transition shards to schema v3
Record 644 schema v3 batch manifests
Migrate 1000 transition shards to schema v3
Record 604 schema v3 batch manifests
Migrate 1000 transition shards to schema v3
Record 606 schema v3 batch manifests
Migrate 999 transition shards to schema v3
Record 558 schema v3 batch manifests
Migrate 999 transition shards to schema v3
Record 578 schema v3 batch manifests
Migrate 999 transition shards to schema v3
Record 583 schema v3 batch manifests
Migrate 1000 transition shards to schema v3
Record 564 schema v3 batch manifests
Migrate 1000 transition shards to schema v3
Record 561 schema v3 batch manifests
Migrate 1000 transition shards to schema v3
Record 523 schema v3 batch manifests
Migrate 999 transition shards to schema v3
Record 497 schema v3 batch manifests
Migrate 1000 transition shards to schema v3
Record 517 schema v3 batch manifests
Migrate 1000 transition shards to schema v3
Record 498 schema v3 batch manifests
Migrate 998 transition shards to schema v3
Record 474 schema v3 batch manifests
Migrate 1000 transition shards to schema v3
Record 454 schema v3 batch manifests
Migrate 1000 transition shards to schema v3
Record 551 schema v3 batch manifests
Migrate 1000 transition shards to schema v3
Record 480 schema v3 batch manifests
Migrate 1000 transition shards to schema v3
Record 423 schema v3 batch manifests
Migrate 1000 transition shards to schema v3
Record 433 schema v3 batch manifests
Migrate 999 transition shards to schema v3
Record 377 schema v3 batch manifests
Migrate 998 transition shards to schema v3
Record 342 schema v3 batch manifests