liuchengwu/FormalStep download history

liuchengwu/FormalStep is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 71 times (11 in the last 7 days), and 1,347 times in total. It ranks #146,423 among datasets by monthly downloads.

Safe (ACL 2025 Main) TL;DR: A Lean 4 theorem-proving dataset, where these theorems are used to validate the correctness of LLM mathematical reasoning steps, synthesized using Safe. The official implementation of our paper Safe (Safe: Enhancing Mathematical Reasoning in Large Language Mode

Open liuchengwu/FormalStep on Hugging Face

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