Poster · Paris

Distilling LLM Feedback for Lean Theorem Proving

Name: Distilling LLM Feedback for Lean Theorem Proving
Start: 2026-12-11T14:30:00+01:00
End: 2026-12-11T16:30:00+01:00
Location: Paris Poster Hall, Paris

When: Fri 11 Dec 2026, 14:30–16:30 CET
Where: Paris Poster Hall
Session: Paris Poster Session 6
Authors: Gaëtan Narozniak, Gérard Biau, Remi Munos, Ahmad Rammal, Pierre Marion
Organisations: Meta, University Paris VI, Inria
QRS classification: Reinforcement learning, Language models

Open in schedule Official page