Pinned Loading
Repositories
Showing 10 of 23 repositories
- humanfia.ai Public
The Humanfia website: the team, its projects and its results, built with VitePress.
- kda-wishlist Public
Community wishlist for reproducible kernel definitions, workloads, and validated optimized solutions.
- flame-chasoid-flows Public
Flame Chasoid for hmz: the flame chase and its variants (agent cleanup, fixed interrupt, parallel lanes) as subflows of one flow.
- tech-reports Public
- hoa Public
HOA (Humanfia Olympiad Agents): PutnamBench and olympiad problems (IMO, IOI, IPhO, IChO, IBO) solved by agents, checked in Lean 4 where possible
- recursive-lean-prover-flow Public
Recursive Lean Prover for hmz: recursively plan, prove, compare, review and catalogue Lean theorems.