Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Distilling LLM Feedback for Lean Theorem Proving
Gaetan Narozniak, Gérard Biau, Rémi Munos +2
Post-training for reasoning models typically combines supervised fine-tuning with reinforcement learning from verifiable rewards, most commonly with GRPO. However, this algorithm s…
cs.AI2024
Physics-informed machine learning as a kernel method
Nathan Doumèche, Francis Bach, Gérard Biau +1
Physics-informed machine learning combines the expressiveness of data-based approaches with the interpretability of physical models. In this context, we consider a general regressi…