Explores phase transitions in physics and computational problems, highlighting challenges faced by algorithms and the application of physics principles in understanding neural networks.
Covers the principles and methods of clustering in machine learning, including similarity measures, PCA projection, K-means, and initialization impact.
Covers Lorentz Transmission Electron Microscopy and its role in analyzing magnetic domain structures and properties through various imaging modes and quantitative methods.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
