humanfia-lab/IMO2026 download history

humanfia-lab/IMO2026 is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 273 times (68 in the last 7 days), and 653 times in total. It ranks #53,129 among datasets by monthly downloads.

IMO 2026 Humanize: GPT and Kimi Worker Shells This is a fresh blind rerun of the six public IMO 2026 Lean problems. It reuses only the immutable statement snapshots and pinned verification infrastructure from the 2026-07-19 Kimi experiment; it never copies prior candidates, proofs, se

Open humanfia-lab/IMO2026 on Hugging Face

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