You can deploy this model and start earning money today!

rootacess/
Lean-SFT-dataset

Views

No views yet

Lean Workbook + Goedel Proofs (Merged)

A merged dataset combining

problem statements from internlm/Lean-Workbook with full proofs from Goedel-LM/Lean-workbook-proofs Human annotated subset from AI-MO/NuminaMath-LEAN

Citation

If you use this dataset, please cite the original sources:

internlm/Lean-Workbook [Goedel-LM/Lean-workbook-proofs AI-MO/NuminaMath-LEAN

rootacess/Lean-SFT-dataset