See FLD-corpus for the details.
11
3 commits
3 linked in READMEs
updated Dec 5, 2024
hitachi-nlp/FLD.v2
Dataset Card for "FLD.v2"
15
AlexVav01/FormalMath-formalization
0
hitachi-nlp/FLD-corpus
19
Goedel-LM/Lean-workbook-proofs
This is the 29.7 solutions of Lean-workbook found by Goedel-Prover-SFT.
16
LukeBailey181Pub/D_3k
1
Slim205/Lean_conjecturer_data_v01
kfdong/STP_Lean_0320
This is an updated version of the final training dataset of Self-play Theorem Prover as described…
4
AlexVav01/autoformalization-bench
hitachi-nlp/FLD
61
hitachi-nlp/FLD-prover
10
