Mohamed Elsayed's picture

3

Mohamed Elsayed

melsayed95

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 3 days ago

Can LLMs Predict Their Own Failures? Self-Awareness via Internal Circuits

upvoted a paper 6 months ago

Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny

upvoted an article 9 months ago

SmolLM - blazingly fast and remarkably powerful

View all activity

Organizations

None yet

upvoted a paper 3 days ago

Can LLMs Predict Their Own Failures? Self-Awareness via Internal Circuits

Paper • 2512.20578 • Published 17 days ago • 65

upvoted a paper 6 months ago

Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny

Paper • 2507.16331 • Published Jul 22, 2025 • 20

upvoted an article 9 months ago

Article

SmolLM - blazingly fast and remarkably powerful

+1

Jul 16, 2024

•

437