Last week, we kicked off our Distinguished Lecture on Sustainability Series with an insightful talk on using Symbolic AI to solve mathematical challenges given by Marijn Heule 🎤✨

Missed it? No worries—the recording is available here

Stay tuned for our next distinguished lecture!