proof-systems icon indicating copy to clipboard operation
proof-systems copied to clipboard

Published 20 hours ago • verified publisher icon o1-labs

[experiment] Speed things up

Open mrmr1993 opened this issue 11 months ago • 1 comments

mrmr1993 avatar Mar 26 '24 18:03 mrmr1993

There's this PR merging into master for review that integrates the changes of experiment/break-stufff with some ideas to fix the constraints unsatisfiability problem (basically, batch inverting before folding instead of throughout the interpreter execution).

querolita avatar Mar 28 '24 15:03 querolita