Spaces:

ProCreations
/

repro-formal-problem-solving

Running

App Files Files Community

repro-formal-problem-solving / outputs /claim5 /claim5_mnist_native.json

Commit History

Aug 2

00:15
Repair claim 5 with native benchmark execution

ProCreations

35042ba