Mohamed Elsayed

melsayed95's activity

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

upvoted a paper 4 months ago

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

Paper • 2512.20578 • Published Dec 23, 2025 • 86

upvoted a paper 10 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 • 22

upvoted an article about 1 year ago

view article

Article

SmolLM - blazingly fast and remarkably powerful

• 
• 
• +1

loubnabnl, anton-l, eliebak

•

Jul 16, 2024

• 455