Certifying Trustworthy Deep Learning Systems

Learn about certifying trustworthy deep learning systems in this 35-minute talk by Linyi Li, an Assistant Professor at Simon Fraser University specializing in certification of deep learning systems. Explore the intersection of symbolic methods and deep learning as part of the Neuro Symbolic Channel's content on artificial intelligence and machine learning. Discover the latest algorithms, Python packages, and progress toward larger goals such as artificial general intelligence (AGI) in this informative presentation originally from the AI course taught at Arizona State University.