humanfia-lab/kda-datasets
Updated • 85
Humanfia
community
AI & ML interests
We build the flow around the agents.
Recent Activity
humanfia-lab/sealed-exchange
Updated • 51
humanfia-lab/icho-2026
Viewer • Updated • 224 • 191
humanfia-lab/putnambench-solution
Updated • 22
humanfia-lab/qcode
Viewer • Updated • 70 • 289
humanfia-lab/lean-eval-source
Updated • 2.76k
humanfia-lab/putnambench-solution-preview
Updated • 31
humanfia-lab/ipho2026-formalized-results
Updated • 123
humanfia-lab/QIT
Viewer • Updated • 40 • 824
humanfia-lab/QAlg
Viewer • Updated • 36 • 459
humanfia-lab/IPHO2026
Viewer • Updated • 233 • 205
humanfia-lab/IMO2026
Updated • 289
humanfia-lab/ipho-lean
Updated • 84