Episode

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

Podcast: Boston Computation Club
Published: Mar 9, 2026
Duration seconds: 3423
Processing state: not_requested
Canonical source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/Logic-py-Bridging-the-Gap-between-LLMs-and-Constraint-Solvers-with-Pascal-Kesseli-e3g53fo
Audio: https://anchor.fm/s/5eee01ac/podcast/play/116607928/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2026-2-9%2F419586621-44100-2-dccb0dd1101e1.mp3
JSON: /v1/public/podcasts/boston-computation-club-4031660/episodes/logic-py-bridging-the-gap-between-llms-and-constraint-solvers-with-pascal-kesseli
Markdown: /podcast/boston-computation-club-4031660/logic-py-bridging-the-gap-between-llms-and-constraint-solvers-with-pascal-kesseli.md

Actions

POST https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/logic-py-bridging-the-gap-between-llms-and-constraint-solvers-with-pascal-kesseli/transcription-requests
Idempotently request low-priority transcript generation for this episode.
GET https://stenobird.com/podcast/boston-computation-club-4031660/logic-py-bridging-the-gap-between-llms-and-constraint-solvers-with-pascal-kesseli.md
Read the agent-friendly Markdown representation of this episode resource.

Summary

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.