File size: 495 Bytes
b31dcf1 6c3fe2a b31dcf1 6c3fe2a b31dcf1 6c3fe2a b31dcf1 6c3fe2a | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 | ---
title: Formal Problem-Solving Exact Audit
emoji: 🧩
colorFrom: blue
colorTo: purple
sdk: static
pinned: false
tags:
- icml2026-repro
- paper-hgMZraPlSv
---
# Beyond Theorem Proving: Formal Problem-Solving
Independent exact audit of all six registered claims using exhaustive logical semantics, all 1,086 released benchmark records and generated Lean files, and all 6,516 initial-release baseline method–problem slots.
**Verdict: six verified claims; conservative maximum 12/12.**
|