ChristianZ97/NuminaMath-LEAN-satp download history

ChristianZ97/NuminaMath-LEAN-satp is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 68 times (2 in the last 7 days), and 1,221 times in total. It ranks #149,549 among datasets by monthly downloads.

NuminaMath-LEAN-satp Lean 4 formal-statement + initial proof goal_state pairs harvested from the NuminaMath-LEAN problem pool. This is the main training set for SATP (Steering Aesop for Theorem Proving) and the target distribution that all sibling datasets in this collection align with by

Open ChristianZ97/NuminaMath-LEAN-satp on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.