Humanfia Lab

AI & ML interests

None defined yet.

Recent Activity

menik1126  updated a dataset 1 day ago

humanfia-lab/qcode

ZhengyangZhang  updated a dataset 5 days ago

humanfia-lab/lean-eval-source

menik1126  published a dataset 11 days ago

humanfia-lab/qcode

View all activity

Team members 8