Sort by
Refine Your Search
-
that the right problem has been solved correctly. To achieve this ambitious objective, we will build on recent breakthroughs in proof logging, where solvers do not just output an answer, but also a
Searches related to error correction
Enter an email to receive alerts for error-correction positions