In my free time I love playing games 🎮 and reading books 📖
🔍 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? 🧵👇