Recherche - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu

Filtrer vos résultats

44 résultats
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

Concentrated Differential Privacy for Bandits

Achraf Azize , Debabrota Basu
2024 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML), IEEE, Apr 2024, Toronto, Canada. pp.78-109, ⟨10.1109/SaTML59370.2024.00013⟩
Communication dans un congrès hal-04611650v1

Reinforcement Learning in the Wild with Maximum Likelihood-based Model Transfer

Hannes Eriksson , Tommy Tram , Debabrota Basu , Mina Alibeigi , Christos Dimitrakakis
23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 2024, Auckland, New Zealand. pp.516-524, ⟨10.5555/3635637.3662902⟩
Communication dans un congrès hal-04260795v1
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

Properties of Discrete Sliced Wasserstein Losses

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

Keep the Momentum: Conservation Laws beyond Euclidean Gradient Flows

Sibylle Marcotte , Rémi Gribonval , Gabriel Peyré
41st International Conference on Machine Learning, Jul 2024, Vienna, Austria
Communication dans un congrès hal-04590932v1
Image document

What is the long-run distribution of stochastic gradient descent? A large deviations analysis

Waïss Azizian , Franck Iutzeler , Jérôme Malick , Panayotis Mertikopoulos
ICML 2024 - 41st International Conference on Machine Learning, Jul 2024, Vienna, Austria. pp.1-70
Communication dans un congrès hal-04629305v1
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

A geometric decomposition of finite games: Convergence vs. recurrence under exponential weights

Davide Legacci , Panayotis Mertikopoulos , Bary Pradelski
ICML 2024 - 41st International Conference on Machine Learning, Jul 2024, Vienna, Austria. pp.1-49
Communication dans un congrès hal-04629310v1
Image document

The Computational Complexity of Finding Second-Order Stationary Points

Andreas Kontogiannis , Vasilis Pollatos , Sotiris Kanellopoulos , Panayotis Mertikopoulos , Aris Pagourtzis , et al.
ICML 2024 - 41st International Conference on Machine Learning, Jul 2024, Vienna, Austria. pp.1-35
Communication dans un congrès hal-04629307v1

On the Complexity of Differentially Private Best-Arm Identification with Fixed Confidence

Achraf Azize , Marc Jourdan , Aymen Al Marjani , Debabrota Basu
NeurIPS 2023 – Conference on Neural Information Processing Systems, Dec 2023, New Orleans (US), United States. pp.71150--71194
Communication dans un congrès hal-04215474v1
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

Path-metrics, pruning, and generalization

Antoine Gonon , Nicolas Brisebarre , Elisa Riccietti , Rémi Gribonval
2024
Pré-publication, Document de travail hal-04584311v2
Image document

Quantitative Input Usage Static Analysis

Denis Mazzucato , Marco Campion , Caterina Urban
NASA Formal Methods 2024, Jun 2024, Moffett Field (CA), United States. pp.79-98, ⟨10.1007/978-3-031-60698-4_5⟩
Communication dans un congrès hal-04339001v3
Image document

A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks

Eric Goubault , Sylvie Putot
2024
Pré-publication, Document de travail hal-04546350v2

Graph Coarsening with Message-Passing Guarantees

Antonin Joly , Nicolas Keriven
2024
Pré-publication, Document de travail hal-04617519v1
Image document

Reconciling Spatial and Temporal Abstractions for Goal Representation

Mehdi Zadem , Sergio Mover , Sergio Mover , Sao Mai Nguyen
ICRL 2024 - The Twelfth International Conference on Learning Representations, May 2024, Vienna, Austria
Communication dans un congrès hal-04629549v1
Image document

Improved Stability and Generalization Guarantees of the Decentralized SGD Algorithm

Batiste Le Bars , Aurélien Bellet , Marc Tommasi , Kevin Scaman , Giovanni Neglia
ICML 2024 - The Forty-first International Conference on Machine Learning, Jul 2024, Vienne, Austria
Communication dans un congrès hal-04611418v1
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

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

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

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

Bandits Corrupted by Nature: Lower Bounds on Regret and Robust Optimistic Algorithms

Timothée Mathieu , Debabrota Basu , Odalric-Ambrym Maillard
Transactions on Machine Learning Research Journal, 2024
Article dans une revue hal-04615733v1
Image document

Make Inference Faster: Efficient GPU Memory Management for Butterfly Sparse Matrix Multiplication

Antoine Gonon , Léon Zheng , Pascal Carrivain , Quoc-Tung Le
2024
Pré-publication, Document de travail hal-04584450v2
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

Open Problem: What is the Complexity of Joint Differential Privacy in Linear Contextual Bandits?

Achraf Azize , Debabrota Basu
Proceedings of Thirty Seventh Conference on Learning Theory, Jul 2024, Edmonton (Alberta), Canada
Communication dans un congrès hal-04621903v1
Image document

Tamed Langevin sampling under weaker conditions

Iosif Lytras , Panayotis Mertikopoulos
2024
Pré-publication, Document de travail hal-04629313v1
Image document

On the sequential convergence of Lloyd's algorithms

Léo Portales , Elsa Cazelles , Edouard Pauwels
2024
Pré-publication, Document de travail hal-04593982v1
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