| 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.** | |