Do AI models help produce verified bug fixes? - Li Huang 001; Ilgiz Mustafin; Marco Piccioni; Alessandro Schena; Reto Weber; Bertrand Meyer 001 (CoRR, 2025)