Fleuret: Formal Math Offers No Model Guarantees Beyond Basic Statistics

Former Meta/FAIR researcher François Fleuret argues that the only rigorous tools for trusting model predictions are basic statistics and concentration inequalities—essentially confidence intervals around empirical means—beyond which formal mathematics offers no real guarantees.

2026-10-12 ~ 2026-10-12 · 2 related posts

• Fleuret: beyond basic statistics, fancy math like Lean offers nothing for model guarantees — francoisfleuret · 2026-10-12
• François Fleuret: trusting model predictions boils down to confidence intervals — francoisfleuret · 2026-10-12