A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants. - Baris Bayazit; Yao Li; Xujie Si (CoRR, 2025)