icho

Here are 2 public repositories matching this topic...

HOA (Humanfia Olympiad Agents): PutnamBench and olympiad problems (IMO, IOI, IPhO, IChO, IBO) solved by agents, checked in Lean 4 where possible

theorem-proving lean formal-verification olympiad ioi ai-agents mathlib imo ipho lean4 ibo icho putnambench

chemistry icho olympiadv

To associate your repository with the icho topic, visit your repo's landing page and select "manage topics."