Mohamed Elsayed

melsayed95's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper about 2 hours ago

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

Paper • 2512.20578 • Published 14 days ago • 45

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

view article

Article

SmolLM - blazingly fast and remarkably powerful

• 
• 
• +1

Jul 16, 2024

•

437