SELECT * FROM DAFc WHERE DAFc="UC4R1IsRVKs_qlWKTm9pT82Q"
Gabriel Synnaeve - Grounding LLMs in Execution
· 26.05.2024 · 14:16:50 ··· Sonntag ⭐ 15 🎬 542
📺 Institut des Hautes Etudes Scientifiques (IHES)
Large language models (LLMs) are trained in a very simple way. Lots of properties we assign to them are already present in the training data. In this talk we will review how LLMs are trained today, what are new training paradigms that are aiming at grounding those LLMs in the impact of those generations. In the context of code generation, this is for instance groudning the LLM with the feedback of executing its generated code. For Lean proofstep prediction we can use tactics execution feedback similarly. We believe closing the loop between “open” generation and “grouding” with more formal system can bridge the gap between informal and formal LLM usages.
Gabriel Synnaeve (Meta AI Research)
===
Find this and many more scientific videos on https://www.carmin.tv/ - a French video platform for mathematics and their interactions with other sciences offering extra functionalities tailored to meet the needs of the research community.
===
· 26.05.2024 · 14:16:50 ··· Sonntag
U
U
L
L
T
* 1716725810
* 1716725810
X 542
Y 15
P
C 19762
B 7
V 90
* · 28.07.2022 · 00:00:00 ···
2 · 30.04.2023 · 05:39:01 ···
L · 30.06.2024 · 10:08:39 ···
C · 05.07.2024 · 10:08:42 ···
💘 🖱️ * · 01.01.1970 · 01:00:00 ···
* · 01.01.1970 · 01:00:00 ···
· 01.01.1970 · 01:00:00 ···
**##
*** · 01.01.1970 · 01:00:00 ··· ::
*2* · 01.01.1970 · 01:00:00 ··· ::
*L* · 01.01.1970 · 01:00:00 ··· ::
*C* · 01.01.1970 · 01:00:00 ··· ::
********
