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

Papers 3

arxiv:2410.14606

arxiv:2404.00781

arxiv:2302.03281

models 0

None public yet

datasets 0

None public yet