Humanfia Lab

AI & ML interests

None defined yet.

Recent Activity

ZhengyangZhang  updated a dataset about 3 hours ago

humanfia-lab/lean-eval-source

ZhengyangZhang  published a dataset about 15 hours ago

humanfia-lab/lean-eval-source

menik1126  updated a dataset 4 days ago

humanfia-lab/ipho2026-formalized-results

View all activity

Team members 7