Logic.py: Bridging the Gap between LLMs and Constraint Solvers with Pascal Kesseli
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.
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.
Listen to This Episode
More from Boston Computation Club
Sum-check protocol: categorical view, Alex Sorokin
P-stability for 3-uniform Hypergraphs, Daniel Yu
Understanding patterns of adoption and adaptation of open models on local systems, Woohyeuk (Kevin) Lee
Cellular automata and artificial life in the deep learning era, Casey Martin
Get summaries like this every morning.
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.