Today Kaiyu Yang from Meta joined us to discuss formal reasoning using LLMs, particularly in the context of interactive theorem provers. This is a really fast-moving and exciting field in which reinforcement learning and theorem proving combine to provide a new frontier for fully automated reasoning, and Kaiyu is at the bleeding edge of it. We were really lucky to get an hour of Kaiyu's time and we hope you enjoy the talk as much as we did!
Podden och tillhörande omslagsbild på den här sidan tillhör
Max von Hippel. Innehållet i podden är skapat av Max von Hippel och inte av,
eller tillsammans med, Poddtoppen.
