Lean is increasingly used to verify mathematical proofs and software produced by LLM agents, but writing formal proofs remains hard. Existing prover systems …
机构:AWS
来源:arXiv 2610.25920 | AI4Papers 论文推荐平台