Hugging Face's logo
Roozbeh Yousefzadeh's picture
2 2

Roozbeh Yousefzadeh

roozbeh-yz
FermiQ's profile picture dark-pen's profile picture
·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 19 hours ago
Mathesis: Towards Formal Theorem Proving from Natural Languages
new activity about 1 month ago
roozbeh-yz/miniF2F_v2:Improve dataset card: Add metadata, detailed description, and citation
updated a dataset about 1 month ago
roozbeh-yz/miniF2F_v2
View all activity

Organizations

None yet