kfdong/STP_Lean_0320 download history
kfdong/STP_Lean_0320 is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 199 times (33 in the last 7 days), and 4,092 times in total. It ranks #67,876 among datasets by monthly downloads.
This is an updated version of the final training dataset of Self-play Theorem Prover as described in the paper STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving. This dataset includes: Extracted examples from mathlib4, Generated correct proofs of statements in LeanWorkbook,
Models trained on STP_Lean_0320
1 models list it as training data.
- kfdong/STP_model_Lean_0320 143 downloads in 30 days