Filtrer vos résultats
- 10
- 3
- 8
- 4
- 1
- 11
- 3
- 3
- 13
- 13
- 9
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
13 résultats
|
|
|
triés par
|
|
|
A PAC-Bayesian Link Between Generalisation and Flat Minima2024
Pré-publication, Document de travail
hal-04455639v1
|
||
|
|
Keep the Momentum: Conservation Laws beyond Euclidean Gradient Flows41st International Conference on Machine Learning, Jul 2024, Vienna, Austria
Communication dans un congrès
hal-04590932v1
|
||
|
|
Monotonicity and the Precision of Program AnalysisProceedings of the ACM on Programming Languages, 2024, 8 (POPL), pp.1629-1662. ⟨10.1145/3632897⟩
Article dans une revue
hal-04423578v1
|
||
|
|
Improved Stability and Generalization Guarantees of the Decentralized SGD AlgorithmICML 2024 - The Forty-first International Conference on Machine Learning, Jul 2024, Vienne, Austria
Communication dans un congrès
hal-04611418v1
|
||
|
|
Tighter Generalisation Bounds via Interpolation2024
Pré-publication, Document de travail
hal-04456925v1
|
||
|
|
Abstract Interpretation-Based Feature Importance for Support Vector Machines25th 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
|
||
|
|
Expressive Losses for Verified Robustness via Convex CombinationsICLR 2024 - International Conference on Learning Representations, May 2024, Vienna, Austria
Communication dans un congrès
hal-04511820v1
|
||
|
|
Plug-and-Play Posterior Sampling under Mismatched Measurement and Prior Models(ICLR 2024) The Twelfth International Conference on Learning Representations, May 2024, Wien, Austria
Communication dans un congrès
hal-04307874v1
|
||
|
|
Activations in Low Precision with High Accuracy2024
Pré-publication, Document de travail
hal-04776745v1
|
||
|
|
Quantitative Static Timing Analysis31st Static Analysis Symposium (SAS 2024), Roberto Giacobazzi; Alessandra Gorla; Marco Campion, Oct 2024, Pasadena, CA, United States
Communication dans un congrès
hal-04669723v1
|
||
|
|
Quantitative Input Usage Static AnalysisNASA 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
|
||
|
|
Optimization with First Order Algorithms2024
Pré-publication, Document de travail
hal-04755998v1
|
||
|
|
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz OptimisationECAI 2024 - European Conference on Artificial Intelligence, Oct 2024, Santiago de Compostela, Spain
Communication dans un congrès
hal-04727955v1
|