humanfia-lab/icho-2026 download history

humanfia-lab/icho-2026 is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 141 times (30 in the last 7 days), and 402 times in total. It ranks #88,968 among datasets by monthly downloads.

IChO 2026 Lean 4 formalizations: verified model variants This repository contains three independently generated Lean 4 proof sets for the same 32 selected IChO 2026 theory subquestions. Practical papers P1–P3 remain outside the corpus. Proof-origin labels Config R

Open humanfia-lab/icho-2026 on Hugging Face

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