humanfia-lab/kda-datasets
Updated • 522
Humanfia
community
AI & ML interests
We build the flow around the agents.
Recent Activity
View all activity
humanfia-lab/sealed-exchange
Updated • 20
humanfia-lab/icho-2026
Viewer • Updated • 224 • 134
humanfia-lab/putnambench-solution
Updated • 12
humanfia-lab/qcode
Viewer • Updated • 70 • 280
humanfia-lab/lean-eval-source
Updated • 2.26k
humanfia-lab/putnambench-solution-preview
Updated • 45
humanfia-lab/ipho2026-formalized-results
Updated • 71
humanfia-lab/QIT
Viewer • Updated • 40 • 595
humanfia-lab/QAlg
Viewer • Updated • 36 • 434
humanfia-lab/IPHO2026
Viewer • Updated • 233 • 140
humanfia-lab/IMO2026
Updated • 249
humanfia-lab/ipho-lean
Updated • 70