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 ... Speaker: Tim Blackmore, Senior Principal One of the fundamental concepts in Authors: Oded Goldreich (Weizmann Institute of Science); Guy N. Rothblum (Apple); Tal Skverer (Weizmann Institute of Science) ... Authors: B. Berger, R. Goyal, M. Hong, Y. Kalai FOCS 2025 - session 11B. MIT 18.404J Theory of Computation, Fall 2020 Instructor: Michael Sipser View the complete course: ... Can we actually trust an AI model if we cannot 13th Innovations in Theoretical Computer Science Conference (ITCS 2022) itcs-conf.org/ Sample-based MIT 6.5630 Advanced Topics in Cryptography, Fall 2023 Instructor: Yael T. Kalai View the complete course: ... Recorded 17 October 2023. Matthias Caro of Freie Universität Berlin presents "Classical Computer Science/Discrete Mathematics Seminar I Topic: In today's digital era, misinformation spreads rapidly through images, videos, and online news. Deepfakes, manipulated media ... Weikeng Chen, Research Partner, L2Iterative, in his talk at discusses the potential and use cases of