sanchezstern-2025-qedcartographer:
  type: article
  title: 'QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning'
  author:
  - Sanchez-Stern, Alex
  - Varghese, Abhishek
  - Kaufman, Zhanna
  - Zhang, Dylan
  - Ringer, Talia
  - Brun, Yuriy
  date: 2025-04
  page-range: 307-320
  url: http://dx.doi.org/10.1109/icse55347.2025.00033
  serial-number:
    doi: 10.1109/icse55347.2025.00033
  parent:
    type: proceedings
    title: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)
    publisher: IEEE