More sizzle than steak? Using an LLM to produce verified bug fixes (new
preprint)
-
New article: “Do AI models help produce verified bug fixes?” (Huang Li,
Ilgiz Mustafin, Marco Piccioni, Alessandro Schena, Reto Weber and Bertrand
Meyer)...
1 day ago