2 papers
cs.PL2025
A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
Barış Bayazıt, Yao Li, Xujie Si
Large language models (LLMs) can potentially help with verification using proof assistants by automating proofs. However, it is unclear how effective LLMs are in this task. In this…
cs.LG2025
LLM Library Learning Fails: A LEGO-Prover Case Study
Ian Berlot-Attwell, Frank Rudzicz, Xujie Si
Recent advancements in the coding, reasoning, and tool-using abilities of LLMs have spurred interest in library learning (i.e., online learning through the creation, storage, and r…