Filtrer vos résultats
- 8
- 1
- 4
- 4
- 1
- 6
- 3
- 1
- 1
- 8
- 1
- 9
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 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
9 résultats
|
|
|
triés par
|
|
|
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
|
||
|
|
A PAC-Bayesian Link Between Generalisation and Flat Minima2024
Pré-publication, Document de travail
hal-04455639v1
|
||
|
|
Quantitative Input Usage Static AnalysisNASA Formal Methods 2024, Jun 2024, Moffett Field (CA), United States
Communication dans un congrès
hal-04339001v3
|
||
|
|
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
|
||
|
|
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
|
||
|
|
Discrete-to-continuous crystalline curvature flows2024
Pré-publication, Document de travail
hal-04500307v2
|
||
|
|
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
|
||
|
|
Tighter Generalisation Bounds via Interpolation2024
Pré-publication, Document de travail
hal-04456925v1
|
||
|
|
Inclusion and estimates for the jumps of minimizers in variational denoising2023
Pré-publication, Document de travail
hal-04323807v1
|