Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
