Hugging Face's logo
Mohamed Elsayed's picture
2

Mohamed Elsayed

melsayed95
FengdiFlo's profile picture
·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 1 month ago
Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
upvoted an article 5 months ago
SmolLM - blazingly fast and remarkably powerful
View all activity

Organizations

None yet