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

Roozbeh Yousefzadeh

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

AI & ML interests

None yet

Recent Activity

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

Organizations

None yet