ChristianZ97/NuminaMath-LEAN-satp-v4.27 download history

ChristianZ97/NuminaMath-LEAN-satp-v4.27 is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 478 times (2 in the last 7 days), and 725 times in total. It ranks #34,333 among datasets by monthly downloads.

NuminaMath-LEAN-satp-v4.27 Lean 4 formal-statement + initial proof goal_state pairs over the NuminaMath-LEAN problem pool, packaged for Lean 4.27.0. This is the main training set for SATP (Steering Aesop for Theorem Proving) running in a Lean 4.27 environment. Every row's formal_state

Open ChristianZ97/NuminaMath-LEAN-satp-v4.27 on Hugging Face