# Theorem Prover
शीर्ष पॉडकास्ट एपिसोड
अपडेट किया गया:
Top podcast episodes featuring theorem prover.
#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro
Mario Carneiro is the creator of Mathlib, Lean4Lean and Metamath0. He is currently doing his Postdoc at Chalmers University working on CakeML. In this episode we talk about foundations of theorem provers, type systems properties, semantics and interoperabilities.
If you enjoy the show please consi…
09/28/24: Hacking an LLM Using the Z3 Theorem Prover with Ian Bicking
Ian Bicking is an engineer at Brilliant, which is also what he is. (Sorry, dad joke). Ian joined us today to talk about his super charming (and extremely interesting) weekend of experiments hacking various LLMs to solve puzzles using z3. The presentation was roughly the first 2/3 of the event and …
Kevin Lacker on AI-Assisted Theorem Proving and Acorn
In this episode, Anna Rose and Guillermo Angeris talk with Kevin Lacker, creator of Acorn, a theorem prover utilising AI. They explore what theorem provers are, their history, and how they're used today. Kevin shares how Acorn brings in AI to simplify the proving process, letting users naturally wr…
#51 s/Coq/Rocq - Nicolas Tabareau
In this episode we talk with Nicolas Tabareau, the Head of Gallinette, one of the main teams which develop the Rocq theorem Prover at Inria.
The original idea of this interview is to talk about the rebranding from Coq into Rocq, which is very exciting to our community. However, Nicolas has such a …
Will Computers prove theorems?
Kevin Buzzard: Will Computers prove theorems? Will computers one day replace human mathematicians? Is this just around the corner, or decades away? Can neural networks spot patterns which humans have missed? Currently language models are great for brainstorming big ideas but are very poor when it c…
#367 Don't Build on Jell-O: How to Make Agentic AI Reliable with Dan Klein, CTO at Scaled Cognition
Across the AI industry, capability has exploded while trustworthiness has lagged badly behind. The same technology that writes fluent prose can invent a refund policy that was never real, and most of those errors are subtle enough that no one notices. As more teams hand high-stakes work to AI — in …
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
Andrew Marmaduke is a PhD Candidate from the University of Iowa, he works
under Aaron Stump and has been working on revamping the theorem prover
Cedille 2. In this episode we tackle fundamental questions about the
foundations of the theorem provers, Cedille and Cedille 2.
Links
Andrew’s Web…
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
Andrew Marmaduke is a PhD Candidate from the University of Iowa, he works
under Aaron Stump and has been working on revamping the theorem prover
Cedille 2. In this episode we tackle fundamental questions about the
foundations of the theorem provers, Cedille and Cedille 2.
Links
Andrew's Website…
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura
Not satisfied with implementing one of the most popular automated theorem
provers, Z3, Leo de Moura also tackles another extremely hard problem in
our field and implements a brand new interactive
theorem prover from scratch, Lean. In this episode we dive into the mind and
philosophy of this man.
I…
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura
Not satisfied with implementing one of the most popular automated theorem
provers, Z3, Leo de Moura also tackles another extremely hard problem in
our field and implements a brand new interactive
theorem prover from scratch, Lean. In this episode we dive into the mind and
philosophy of this man.
L…
पॉडकास्ट खोज इंजन
आप लोगों, स्थानों या विषयों के आधार पर3,823,114पॉडकास्ट और195,616,120एपिसोड खोजने के लिए हमारी वेबसाइट का उपयोग कर सकते हैं।
ज्ञान में निवेश सबसे अच्छा लाभ देता है, इसलिए मैं पॉडकास्ट सुनता हूँ।
‐ Benjamin "Llamacorn" Franklin
संपादित करें
पॉडकास्ट डेटाबेस को अपडेटेड रखने में मदद के लिए धन्यवाद।
