0
2 commits
1 linked in READMEs
updated Jun 17, 2026
AlexVav01/autoformalization-clean
Slim205/Lean_conjecturer_data_v01
AlexVav01/autoformalization-bench
LukeBailey181Pub/D_3k
1
Windy0822/ultrainteract_math_rollout
9
mlfoundations-dev/stackoverflow_math
2
hitachi-nlp/FLDx2
See FLD-corpus for the details.
11
kfdong/STP_Lean_0320
This is an updated version of the final training dataset of Self-play Theorem Prover as described…
4
VavAlex1/llm-autoformalization
