Interactive Proofs For Verifying Machine Learning

Summary

12th Innovations in Theoretical Computer Science Conference (ITCS 2021) itcs-conf.org/ This is an appendix video to the main ITCS21 video for the paper " Authors: Matthias C. Caro, Jens Eisert, Marcel Hinsche, Marios Ioannou, Alexander Nietner and Ryan Sweke Abstract: We ... MIT 18.404J Theory of Computation, Fall 2020 Instructor: Michael Sipser View the complete course: ... MIT 6.5630 Advanced Topics in Cryptography, Fall 2023 Instructor: Yael T. Kalai View the complete course: ... Authors: B. Berger, R. Goyal, M. Hong, Y. Kalai FOCS 2025 - session 11B. Recorded 17 October 2023. Matthias Caro of Freie Universität Berlin presents "Classical Computer Science/Discrete Mathematics Seminar I Topic: Authors: Oded Goldreich (Weizmann Institute of Science); Guy N. Rothblum (Apple); Tal Skverer (Weizmann Institute of Science) ... Speaker: Tim Blackmore, Senior Principal Rotem Oshman (Tel Aviv University) simons.berkeley.edu/talks/distributed- Can we actually trust an AI model if we cannot 13th Innovations in Theoretical Computer Science Conference (ITCS 2022) itcs-conf.org/ Sample-based Abstract: Ensuring that AI systems behave as intended is a central challenge in contemporary AI. This talk covers two theoretical ...