Tag: lean
All the talks with the tag "lean".
Neural Theorem Proving in Lean
Rahul VishwakarmaPublished: at 02:00 PMThis talk explores integrating large language models (LLMs) and interactive theorem provers (ITPs) like Lean to automate theorem proving. It covers recent advancements, data augmentation, dynamic sampling methods, and the development of tools to facilitate experiments in Lean 4.