Author

Aymeric Dieuleveut

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Jul 2026

Finding Simple Proofs for First-Order Optimization

Progress in mathematics often requires more than a certificate of truth: it requires proof structures that are transparent, checkable, and reusable. Automated systems can increasingly certify that a result is true; what they typically return, however, is a dense certificate rather than an interpretable, reusable proof...

Daniel Berg Thomsen, Manu Upadhyaya, Baptiste Goujaud et al. · 1 citation

#artificial intelligence Jun 2026

Self-Organized Conformal Prediction: Reducing Regional Coverage Gaps with Unsupervised Group Discovery

Self-Organized Conformal Prediction (SOCP), a calibration scheme that discovers input-space groups with an unsupervised Self-Organizing Map (SOM) trained without calibration labels, is introduced, providing a concise route to group-local calibration without supervised partitions or predictor retraining with a diagnosti...

Louis Berthier, A. Shokry, M. Moreaud et al. · arXiv.org · 0 citations