Mohamed Elsayed's picture

2

Mohamed Elsayed

melsayed95

·

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

melsayed95 's models

None public yet