A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
Barics Bayazit, Yao Li, Xujie Si
Proceedings of the 1st ACM SIGPLAN International Workshop on Language Models and Programming Languages