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)...
5 hours ago
No comments:
Post a Comment