1
CAPRI: Contract-Aware Proof Repair for Isabelle
面向Isabelle的契约感知证明修复框架，让形式化验证中的证明失败自动化修复成为可能。
arXiv:2608.13459v1 Announce Type: cross Abstract: We address the use of large language models (LLMs) to help discover Isabelle proofs. An Isabelle bui…