1
MINIF2F-DAFNY: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification
大模型数学证明迎来新解法：Dafny自动验证加持，让AI每一步推理都可机器校验，从「猜」到「证」的关键跨越。
arXiv:2512.10187v3 Announce Type: replace Abstract: LLMs excel at reasoning, but validating their steps remains challenging. Formal verification offer…