humanfia-lab/ipho2026-formalized-results download history

humanfia-lab/ipho2026-formalized-results is a question answering dataset on the Hugging Face Hub. In the last 30 days it was downloaded 107 times (18 in the last 7 days), and 261 times in total. It ranks #108,408 among datasets by monthly downloads.

IPhO 2026 Lean formalization results This dataset publishes two independent Lean 4 solution sets for the 23 theoretical subproblems of IPhO 2026: Result set Theory targets Compiles Active proof placeholders Codex v2 23/23 yes 0 Kimi K3 23/23 yes 0 The six selected ex

Open humanfia-lab/ipho2026-formalized-results on Hugging Face

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