Ricardo Brancas
@ricardobrancas.com
27 | Computer Science PhD Student | 🇵🇹
In my free time I love playing games 🎮 and reading books 📖
In my free time I love playing games 🎮 and reading books 📖
Reposted by Ricardo Brancas
🚀 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? 🧵👇
Reposted by Ricardo Brancas
🎓⚙️ 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. 🧵👇