
Daniel Melcer is a PhD student at Northeastern University, where he researches formal methods, reinforcement learning, and large language models, among other things. Daniel also has the most colorful hair in the business (bright red for this talk, other colors for other occasions). Today he joined us to talk about some really exciting work he completed at Amazon, and to expand on his general vision of where constrained inference problems are heading in the future.
Podzilla Summary coming soon
Sign up to get notified when the full AI-powered summary is ready.
Free forever for up to 3 podcasts. No credit card required.

06/26/26: Tracing Introspection Across Model Depth, Zach Maas

An Extremely Short Proof of the Hairy Ball Theorem with Peter McGrath

Logic.py: Bridging the Gap between LLMs and Constraint Solvers with Pascal Kesseli

02/06/26: Early experiments in FMxAI at Galois with Max von Hippel
Free AI-powered recaps of Boston Computation Club and your other favorite podcasts, delivered to your inbox.
Free forever for up to 3 podcasts. No credit card required.