Logic.py: Bridging the Gap between LLMs and Constraint Solvers with Pascal Kesseli
from Boston Computation Club Hosted by Max von Hippel
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.
Embed this episode
No transcript yet.
Frequently asked questions
How long is this episode of Boston Computation Club?
This episode is 57 minutes long.
When was this Boston Computation Club episode published?
This episode was published on March 9, 2026.
Can I download this Boston Computation Club episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.