Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

20 résultats
Page :
triés par
Image document

Expressive Losses for Verified Robustness via Convex Combinations

 Alessandro De Palma , Rudy Bunel , Krishnamurthy Dvijotham , M Pawan Kumar , Robert Stanforth , et al.
ICLR 2024 - International Conference on Learning Representations, May 2024, Vienna, Austria
Communication dans un congrès hal-04511820v1
Image document

Reinforcement Planning for effective ε-optimal policies in dense time with discontinuities

 Léo Henry , Blaise Genest , Alexandre Drewery
43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2023, hyderabad, India. ⟨10.4230/LIPIcs⟩
Communication dans un congrès hal-04280462v1
Image document

Quantitative Input Usage Static Analysis

 Denis Mazzucato , Marco Campion , Caterina Urban
NASA Formal Methods 2024, Jun 2024, Moffett Field (CA), United States
Communication dans un congrès hal-04339001v3
Image document

A PAC-Bayesian Link Between Generalisation and Flat Minima

 Maxime Haddouche , Paul Viallard , Umut Şimşekli , Benjamin Guedj
2024
Pré-publication, Document de travail hal-04455639v1
Image document

Robust risk management via multi-marginal optimal transport

 Quentin Mérigot , Luca Nenna , Hamza Ennaji , Brendan Pass
2022
Pré-publication, Document de travail hal-03852245v1
Image document

Abstract Interpretation-Based Feature Importance for Support Vector Machines

 Abhinandan Pal , Francesco Ranzato , Caterina Urban , Marco Zanella
25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024), Jan 2024, London, United Kingdom. pp.27-49, ⟨10.1007/978-3-031-50524-9_2⟩
Communication dans un congrès hal-04378817v1
Image document

Properties of Discrete Sliced Wasserstein Losses

 Eloi Tanguy , Rémi Flamary , Julie Delon
2024
Pré-publication, Document de travail hal-04232766v2
Image document

Reconstructing discrete measures from projections. Consequences on the empirical Sliced Wasserstein Distance

 Eloi Tanguy , Rémi Flamary , Julie Delon
2024
Pré-publication, Document de travail hal-04232769v2
Image document

Sliced-Wasserstein Estimation with Spherical Harmonics as Control Variates

 Rémi Leluc , Aymeric Dieuleveut , François Portier , Johan Segers , Aigerim Zhuman
2024
Pré-publication, Document de travail hal-04438124v1
Image document

Heavy Ball Momentum for Non-Strongly Convex Optimization

 Jean-François Aujol , Charles Dossal , Hippolyte Labarrière , Aude Rondepierre
2024
Pré-publication, Document de travail hal-04500652v1
Image document

LOCOST: State-Space Models for Long Document Abstractive Summarization

 Florian Le Bronnec , Song Duong , Mathieu Ravaut , Alexandre Allauzen , Nancy F. Chen , et al.
European Chapter of the Association for Computational Linguistics (EACL), Mar 2024, St. Julian’s, Malta
Communication dans un congrès hal-04438465v1
Image document

Monotonicity and the Precision of Program Analysis

 Marco Campion , Mila Dalla Preda , Roberto Giacobazzi , Caterina Urban
Proceedings of the ACM on Programming Languages, 2024, 8 (POPL), pp.1629-1662. ⟨10.1145/3632897⟩
Article dans une revue hal-04423578v1
Image document

Accelerating the convergence of Newton's method for nonlinear elliptic PDEs using Fourier neural operators

 Joubine Aghili , Romain Hild , Victor Michel-Dansac , Vincent Vigon , Emmanuel Franck
2024
Pré-publication, Document de travail hal-04440076v2
Image document

Discrete-to-continuous crystalline curvature flows

 Antonin Chambolle , Daniele de Gennaro , Massimiliano Morini
2024
Pré-publication, Document de travail hal-04500307v2
Image document

Convergence of SGD for Training Neural Networks with Sliced Wasserstein Losses

 Eloi Tanguy
2024
Pré-publication, Document de travail hal-04232792v2

Tighter Generalisation Bounds via Interpolation

 Paul Viallard , Maxime Haddouche , Umut Şimşekli , Benjamin Guedj
2024
Pré-publication, Document de travail hal-04456925v1
Image document

Inclusion and estimates for the jumps of minimizers in variational denoising

 Antonin Chambolle , Michał Łasica
2023
Pré-publication, Document de travail hal-04323807v1

On the Impact of Output Perturbation on Fairness in Binary Linear Classification

 Vitalii Emelianov , Michaël Perrot
2024
Pré-publication, Document de travail hal-04440982v1
Image document

A Stochastic Rounding-Enabled Low-Precision Floating-Point MAC for DNN Training

 Sami Ben Ali , Silviu-Ioan Filip , Olivier Sentieys
DATE 2024 - 27th IEEE/ACM Design, Automation and Test in Europe, Mar 2024, Valencia, Spain. pp.1-6
Communication dans un congrès hal-04380270v2
Image document

Promouvoir des modèles d’intelligence artificielle frugale pour et par les politiques publiques

 Maxime Amisse , Mélissa Faur , Lucie Gonard , André Orcesi
Ecole des Ponts Paris Tech, Paris-France. 2024
Rapport hal-04510171v1
Page :