Max Tegmark - Neural network interpretability: symmetry, geometry and formal verification
Recorded 01 September 2026. Max Tegmark of the Massachusetts Institute of Technology presents "Neural network interpretability: symmetry, geometry and formal verification" at IPAM's Foundations of Interpretability Workshop.Abstract: I first survey recent progress in mechanistic interpretability of artificial neural networks, focusing on how symmetry and geometric structure emerge because they help with generalization. I then discuss how recent progress in AI-powered formal verification can help with the ultimate interpretability challenge: enabling neural-network-based AI systems to self-export their machine-learned algorithms and knowledge into formally verified code – much like a human can export the algorithms and knowledge learned by the biological neural network in their brain.
Learn more online at: https://www.ipam.ucla.edu/programs/workshops/foundations-of-interpretability/?tab=overview Receive SMS online on sms24.me
TubeReader video aggregator is a website that collects and organizes online videos from the YouTube source. Video aggregation is done for different purposes, and TubeReader take different approaches to achieve their purpose.
Our try to collect videos of high quality or interest for visitors to view; the collection may be made by editors or may be based on community votes.
Another method is to base the collection on those videos most viewed, either at the aggregator site or at various popular video hosting sites.
TubeReader site exists to allow users to collect their own sets of videos, for personal use as well as for browsing and viewing by others; TubeReader can develop online communities around video sharing.
Our site allow users to create a personalized video playlist, for personal use as well as for browsing and viewing by others.
@YouTubeReaderBot allows you to subscribe to Youtube channels.
By using @YouTubeReaderBot Bot you agree with YouTube Terms of Service.
Use the @YouTubeReaderBot telegram bot to be the first to be notified when new videos are released on your favorite channels.
Look for new videos or channels and share them with your friends.
You can start using our bot from this video, subscribe now to Max Tegmark - Neural network interpretability: symmetry, geometry and formal verification
What is YouTube?
YouTube is a free video sharing website that makes it easy to watch online videos. You can even create and upload your own videos to share with others. Originally created in 2005, YouTube is now one of the most popular sites on the Web, with visitors watching around 6 billion hours of video every month.
