Spaces:

ProCreations
/

repro-formal-problem-solving-framework-benchmark

Running

App Files Files Community

repro-formal-problem-solving-framework-benchmark / pages /methods-provenance

Commit History

Replace formal benchmark shim with full Mathlib audit

243a534

ProCreations commited on 6 days ago

Compile official FPS source in kernel audit

698969a

ProCreations commited on 6 days ago

Publish validated ICML reproduction

6c3fe2a
verified

ProCreations commited on 7 days ago