first-2023-baldur:
  type: article
  title: 'Baldur: Whole-Proof Generation and Repair with Large Language Models'
  author:
  - First, Emily
  - Rabe, Markus N.
  - Ringer, Talia
  - Brun, Yuriy
  date: 2023-11
  page-range: 1229-1241
  url: http://dx.doi.org/10.1145/3611643.3616243
  serial-number:
    doi: 10.1145/3611643.3616243
  parent:
    type: proceedings
    title: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    publisher: ACM
    parent:
      type: proceedings
      title: ESEC/FSE ’23