@article{acasestudyontheeffectivenessofllmsinveri,
  title = {A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants},
  author = {Barış Bayazıt and Yao Li and Xujie Si},
  year = {2025},
  eprint = {2508.18587},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2508.18587},
}