2 ms·
Thank you for posting this. Question to OP, how do the results compare to the current state of the art and what were the benchmarks used?
by formalsystem 8y ago
Thank you for posting this. Question to OP, how do the results compare to the current state of the art and what were the benchmarks used?