TY  - RPRT
TI  - QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
AU  - Alex Sanchez-Stern
AU  - Abhishek Varghese
AU  - Zhanna Kaufman
AU  - Dylan Zhang
AU  - Talia Ringer
AU  - Yuriy Brun
PY  - 2024
DO  - 10.1109/icse55347.2025.00033
UR  - https://arxiv.org/abs/2408.09237
ID  - 2408.09237
ER  -