Explore the concept of grounding large language models (LLMs) in execution through this insightful one-hour lecture. Delve into current LLM training methods and examine emerging paradigms aimed at anchoring these models in the real-world impact of their outputs. Learn how code generation can benefit from execution feedback and how Lean proofstep prediction can leverage tactics execution. Discover the potential of bridging informal and formal LLM applications by closing the loop between open generation and grounding in more formal systems. Gain valuable insights from Gabriel Synnaeve of Meta AI Research as he presents cutting-edge research in the field of artificial intelligence and language models.
Grounding Large Language Models in Execution - From Code Generation to Formal Systems
Institut des Hautes Etudes Scientifiques (IHES) via YouTube
Overview
Syllabus
Gabriel Synnaeve - Grounding LLMs in Execution
Taught by
Institut des Hautes Etudes Scientifiques (IHES)
Related Courses
-
Introduction to LLMs in Python
-
Generative AI and Large Language Models
-
Fine-tuning Language Models for Business Tasks
-
Watermarking of Large Language Models
-
Large Language Models and the Changing Face of Computational Linguistics
-
Large Language Models Are Not Necessarily Generative AI - Karin Verspoor, PhD
