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

Replace formal benchmark shim with full Mathlib audit

Compile official FPS source in kernel audit

Widen formal FPS evidence with Lean kernel audit

Publish validated ICML reproduction

initial commit