Pascal Kesseli is a software engineer and technical lead at Microsoft AI, with a PhD in Computer Science from Oxford (or a DPhil? Or whatever they call PhDs on that side of the pond). Today Pascal joined us to discuss work he completed while at META FAIR, focused on the conjoining of large language models with symbolic reasoning systems (ultimately, dispatch to SAT) as well as future research directions building on said work.
AI 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.
An Extremely Short Proof of the Hairy Ball Theorem with Peter McGrath
2/17/26: Approximately Aligned Decoding with Daniel Melcer
02/06/26: Early experiments in FMxAI at Galois with Max von Hippel
VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods, Chenfeng Wei
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.