TY  - RPRT
TI  - Lemur: Integrating Large Language Models in Automated Program Verification
AU  - Haoze Wu
AU  - Clark Barrett
AU  - Nina Narodytska
PY  - 2024
UR  - https://arxiv.org/abs/2310.04870
ID  - 2310.04870
ER  -