Pinned Loading
Repositories
Showing 10 of 23 repositories
- humanfia.ai Public
The Humanfia website: the team, its projects and its results, built with VitePress.
- hma Public
HMA (Humanize MLE Agents): alternating native coding agents over a shared workspace on MLE-bench — paper experiment code
- tech-reports Public
- 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.
- 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.
Most used topics
Loading…