CAPRI: イザベル証明のための契約認識修復

arXiv cs.AI ・ 2026-08-13

原題: CAPRI: Contract-Aware Proof Repair for Isabelle

AI による要約

CAPRIは、イザベル証明のための契約認識修復ワークフローである。CAPRIは、LLMを用いてイザベル証明を修復し、契約違反を検出する。実験結果は、CAPRIが有効な修復を生成できることを示している。

この要約は当サイトの AI が生成したものです。正確な内容は元記事（arXiv cs.AI）をご確認ください。