Pedro Orvalho
@pmorvalho.bsky.social
👨💻🕵️♂️ MSCA COFUND Postdoctoral Fellow @ IIIA-CSIC, Barcelona 🇪🇸
🕵️♂️ Visiting Researcher @ University of Oxford 🇬🇧
🌐 pmorvalho.github.io 🇵🇹
🕵️♂️ Visiting Researcher @ University of Oxford 🇬🇧
🌐 pmorvalho.github.io 🇵🇹
🚀 LLMs + Formal Methods = Smarter Program Repair? Our paper was just accepted at AAAI 2025! 🎉
🔍 Formal Methods find bugs but struggle with fixes. 🤖 LLMs repair code but over-edit. What if we combined their strengths? 🧵👇
🔍 Formal Methods find bugs but struggle with fixes. 🤖 LLMs repair code but over-edit. What if we combined their strengths? 🧵👇
February 27, 2025 at 3:04 PM
🚀 LLMs + Formal Methods = Smarter Program Repair? Our paper was just accepted at AAAI 2025! 🎉
🔍 Formal Methods find bugs but struggle with fixes. 🤖 LLMs repair code but over-edit. What if we combined their strengths? 🧵👇
🔍 Formal Methods find bugs but struggle with fixes. 🤖 LLMs repair code but over-edit. What if we combined their strengths? 🧵👇
🎓⚙️ Meet GitSEED, a revolutionary tool for programming education accepted at sigcsevirtual.acm.org! Labs, projects, dashboards & personalized feedback—all on @gitlab.com. Let’s dive into how it transforms learning. 🧵👇
December 4, 2024 at 4:41 PM
🎓⚙️ Meet GitSEED, a revolutionary tool for programming education accepted at sigcsevirtual.acm.org! Labs, projects, dashboards & personalized feedback—all on @gitlab.com. Let’s dive into how it transforms learning. 🧵👇