TY  - RPRT
TI  - Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
AU  - Shuvendu K. Lahiri
PY  - 2024
DO  - 10.34727/2024/isbn.978-3-85448-065-5_19
UR  - https://arxiv.org/abs/2406.09757
ID  - 2406.09757
ER  -