ProCreations/repro-formal-problem-solving-framework-benchmark

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.