Autonomously Uncovering and Fixing a bug in SQLite3 using LLM-based system

team-atlanta.github.io

While human researchers might consider this bug trivial, I still feel happy that it can be discovered and patched automatically :)