Omri Ben-Eliezer, Dan Mikulincer, Elchanan Mossel, Madhu Sudan 0001. Is This Correct? Let's Check!. In Yael Tauman Kalai, editor, 14th Innovations in Theoretical Computer Science Conference, ITCS 2023, January 10-13, 2023, MIT, Cambridge, Massachusetts, USA. Volume 251 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
Abstract is missing.