Loading...
Derniers dépôts
-
Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, et al.. Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024, Apr 2024, Luxembourg City, Luxembourg. pp.387 - 392, ⟨10.1007/978-3-031-57256-2_26⟩. ⟨hal-04536418⟩
-
Gianni Franchi, Andrei Bursuc, Emanuel Aldea, Séverine Dubuisson, Isabelle Bloch. Encoding the Latent Posterior of Bayesian Neural Networks for Uncertainty Quantification. IEEE Transactions on Pattern Analysis and Machine Intelligence, 2024, 46 (4), pp.2027-2040. ⟨10.1109/TPAMI.2023.3328829⟩. ⟨hal-04320979⟩