TY  - RPRT
TI  - A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
AU  - Barış Bayazıt
AU  - Yao Li
AU  - Xujie Si
PY  - 2025
DO  - 10.1145/3759425.3763391
UR  - https://arxiv.org/abs/2508.18587
ID  - 2508.18587
ER  -