humanfia-lab/qcode
Viewer • Updated • 55 • 28
Humanfia Lab
community
AI & ML interests
None defined yet.
Recent Activity
models 0
None public yet
datasets 11
humanfia-lab/icho-2026-lean4-formalizations
Viewer • Updated • 160 • 49
humanfia-lab/putnambench-solution-preview
Updated • 29
humanfia-lab/lean-eval-source
Updated • 164
humanfia-lab/ipho2026-formalized-results
Updated • 64
humanfia-lab/QIT
Viewer • Updated • 40 • 276
humanfia-lab/QAlg
Viewer • Updated • 36 • 185
humanfia-lab/IPHO2026
Viewer • Updated • 233 • 534
humanfia-lab/IMO2026
Updated • 234
humanfia-lab/putnambench-solution
Updated • 20