AI-MO
Prompt-set for training and evaluating Kimina, a Lean 4 theorem prover that uses reinforcement learning over formal mathematical proofs.
Last 30 days
Explore
Read the real rows without downloading anything
Reading rows…
LiveRead from AI-MO/Kimina-Prover-Promptset at the moment you asked. Nothing is cached or stored — every row above came from that request.
Column statistics
Over 24,418 rows of default/train
0.05% empty
