Filtrer vos résultats
- 5
- 1
- 3
- 2
- 1
- 5
- 1
- 1
- 6
- 6
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
6 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
|
||
|
|
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
|
||
|
|
A PAC-Bayesian Link Between Generalisation and Flat Minima2024
Pré-publication, Document de travail
hal-04455639v1
|
||
|
|
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
|