TY  - RPRT
TI  - Laurel: Unblocking Automated Verification with Large Language Models
AU  - Eric Mugnier
AU  - Emmanuel Anaya Gonzalez
AU  - Ranjit Jhala
AU  - Nadia Polikarpova
AU  - Yuanyuan Zhou
PY  - 2025
UR  - https://arxiv.org/abs/2405.16792
ID  - 2405.16792
ER  -