@misc{indiciae3935083212b8,
  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},
  doi = {10.1145/3759425.3763391},
  url = {https://arxiv.org/abs/2508.18587},
  note = {Source identifier: 2508.18587}
}