Robert Joseph George - Verified Scientific Machine Learning in Lean - IPAM at UCLA
Recorded 18 September 2026. Robert Joseph George of the California Institute of Technology presents "Verified Scientific Machine Learning in Lean" at IPAM's PDEs: Verification, Mathematics, and Algorithms in the Age of AI workshop.Abstract: Scientific machine learning methods such as neural operators and physics-informed neural networks are increasingly used to approximate solutions of complex PDEs, but their guarantees often stop at empirical accuracy. I will present TorchLean, a framework for neural networks and scientific computing in Lean 4, and discuss how we use it to formally reason about learned PDE solvers, automatic differentiation, and PDE residual computations. I will also describe our work on verified variable precision floating-point arithmetic in Lean, with the goal of connecting mathematical guarantees to the finite-precision computations that actually run in practice. Finally, I will discuss ongoing efforts to formalize parts of classical PDE analysis in Lean and to build symbolic tools for scientific reasoning. The broader goal is to connect PDE theory, learned models, and numerical computation within a common machine-checkable framework.
Learn more online at: https://www.ipam.ucla.edu/programs/workshops/pdes-verification-mathematics-and-algorithms-in-the-age-of-ai/?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 Robert Joseph George - Verified Scientific Machine Learning in Lean - IPAM at UCLA
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.
![SACRIFICIO LOS ELEGIDOS Trailer (2026) SUBTITULADO / SACRIFICE [HD] Chris Evans](https://img.youtube.com/vi/nWPOKSYtHiM/maxresdefault.jpg)
![100 Days of Deception Trailer SUBTITULADO [HD] Netflix](https://img.youtube.com/vi/Nu8AmNw_jU4/maxresdefault.jpg)
