Logic and Formal Methods in Mathematics and Machine Learning

Watch a 57-minute lecture from the Mathematics and Machine Learning Program Opening Workshop at Harvard CMSA, where David McAllester from Toyota Technological Institute at Chicago explores the intersection of logic and formal methods, examining their fundamental role in mathematical reasoning and machine learning applications.