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

Page: https://stenobird.com/podcast/boston-computation-club-4031660/logic-py-bridging-the-gap-between-llms-and-constraint-solvers-with-pascal-kesseli
Text version: https://stenobird.com/podcast/boston-computation-club-4031660/logic-py-bridging-the-gap-between-llms-and-constraint-solvers-with-pascal-kesseli.md
Podcast: [Boston Computation Club](https://stenobird.com/podcast/boston-computation-club-4031660)
Published: 2026-03-09T04:14:59+00:00
Episode link: https://podcasters.spotify.com/pod/show/bostoncc/episodes/Logic-py-Bridging-the-Gap-between-LLMs-and-Constraint-Solvers-with-Pascal-Kesseli-e3g53fo
Audio file: https://anchor.fm/s/5eee01ac/podcast/play/116607928/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2026-2-9%2F419586621-44100-2-dccb0dd1101e1.mp3
Processing state: not_requested
JSON: https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/logic-py-bridging-the-gap-between-llms-and-constraint-solvers-with-pascal-kesseli
Duration seconds: 3423

## Resource

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.

## Actions

- request_transcript: `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.
- read_markdown: `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.

A page view does not enqueue transcription. Agents should invoke `request_transcript` explicitly when they need this episode processed.

## Transcript

Full transcripts are not published on public pages unless there is a clear rights basis.