Humanfia Lab

AI & ML interests

None defined yet.

Recent Activity

ZhengyangZhang  updated a dataset about 8 hours ago

humanfia-lab/putnambench-solution

menik1126  updated a dataset 3 days ago

humanfia-lab/qcode

ZhengyangZhang  updated a dataset 6 days ago

humanfia-lab/lean-eval-source

View all activity

Team members 9