Do AI models help produce verified bug fixes?