@inproceedings{sanchezstern-2025-qedcartographer, title={QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning}, url={http://dx.doi.org/10.1109/icse55347.2025.00033}, DOI={10.1109/icse55347.2025.00033}, booktitle={2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)}, publisher={IEEE}, author={Sanchez-Stern, Alex and Varghese, Abhishek and Kaufman, Zhanna and Zhang, Dylan and Ringer, Talia and Brun, Yuriy}, year={2025}, month=Apr, pages={307–320} }