AI-MO/Kimina-Prover-Promptset download history

AI-MO/Kimina-Prover-Promptset is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 633 times (240 in the last 7 days), and 2,417 times in total. It ranks #27,430 among datasets by monthly downloads.

Kimina-Prover-Promptset Kimina-Prover-Promptset is a curated subset of NuminaMath-LEAN, designed for reinforcement learning (RL) training of formal theorem provers in Lean 4. Compared to the full dataset, this subset contains fewer problems but with higher difficulty. NuminaMath-LEAN is

Open AI-MO/Kimina-Prover-Promptset on Hugging Face

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