Filtrer vos résultats
- 12
- 5
- 10
- 5
- 2
- 11
- 6
- 4
- 1
- 16
- 1
- 17
- 11
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
17 résultats
|
|
|
triés par
|
|
|
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
|
||
|
|
LOCOST: State-Space Models for Long Document Abstractive SummarizationEuropean Chapter of the Association for Computational Linguistics (EACL), Mar 2024, St. Julian’s, Malta
Communication dans un congrès
hal-04438465v1
|
||
|
|
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
|
||
|
|
Discrete-to-continuous crystalline curvature flows2024
Pré-publication, Document de travail
hal-04500307v2
|
||
|
|
A PAC-Bayesian Link Between Generalisation and Flat Minima2024
Pré-publication, Document de travail
hal-04455639v1
|
||
|
|
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
|
||
|
|
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
|
||
|
|
Complexity Analysis of Regularization Methods for Implicitly Constrained Least SquaresJournal of Scientific Computing, 2024, 101 (3), pp.54. ⟨10.1007/s10915-024-02691-2⟩
Article dans une revue
hal-04745284v1
|
||
|
|
Inclusion and estimates for the jumps of minimizers in variational denoising2023
Pré-publication, Document de travail
hal-04323807v1
|
||
|
|
Tighter Generalisation Bounds via Interpolation2024
Pré-publication, Document de travail
hal-04456925v1
|
||
|
|
Chain and Causal Attention for Efficient Entity TrackingProceedings of the 2024 Conference on Empirical Methods in Natural Language Processing (EMNLP), Association for Computational Linguistics, Nov 2024, Miami, United States
Communication dans un congrès
hal-04731420v1
|
||
|
|
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
|
||
|
|
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
|
||
|
|
Optimization with First Order Algorithms2024
Pré-publication, Document de travail
hal-04755998v1
|
||
|
|
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
|