Publications

23 documents

Journal articles3 document

  • Alessandro De Palma, Serge Durand, Zakaria Chihani, Caterina Urban. On Using Certified Training towards Empirical Robustness. Transactions on Machine Learning Research Journal, 2025. ⟨hal-05042448⟩
  • Théo Matricon, Nathanaël Fijalkow, Guillaume Lagarde. EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis. Proceedings (AAAI Artificial Intelligence and Interactive Digital Entertainment Conference), In press, ⟨10.48550/arXiv.2412.17330⟩. ⟨hal-04901266⟩
  • Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban. Monotonicity and the Precision of Program Analysis. Proceedings of the ACM on Programming Languages, 2024, 8 (POPL), pp.1629-1662. ⟨10.1145/3632897⟩. ⟨hal-04423578⟩

Conference papers13 document

  • Gustave Cortal, Alain Finkel. Formalizing Style in Personal Narratives. Empirical Methods in Natural Language Processing (EMNLP 2025), Nov 2025, Suzhou, China. ⟨hal-05261564⟩
  • Dorin Doncenco, Julien Girard-Satabin, Romain Xu-Darme, Zakaria Chihani. A dive into formal explainable attributions for image classification. European Conference on Artificial Inteligence 2025, Oct 2025, Bologna, Italy. ⟨hal-05219606⟩
  • Marco Campion, Isabella Mastroeni, Caterina Urban. Relating Distances and Abstractions: An Abstract Interpretation Perspective. SAS 2025 - 32nd Static Analysis Symposium, Oct 2025, Singapore, Singapore. ⟨hal-05207631⟩
  • Raghda El Shehaby, Matthias Függer, Florian Huemer, Andreas Steininger. Investigating the Effects of Permanent Faults in QDI Circuits: A Formal Perspective. 2025 29th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), May 2025, Portland, United States. pp.142-150, ⟨10.1109/ASYNC65240.2025.00027⟩. ⟨hal-05187822⟩
  • Zhuofan Xu, Benedikt Bollig, Matthias Függer, Thomas Nowak. Permutation Equivariant Deep Reinforcement Learning for Multi-Armed Bandit. 36th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Oct 2024, Herndon, United States. ⟨10.1109/ICTAI62512.2024.00140⟩. ⟨hal-04787072⟩
  • Denis Mazzucato, Marco Campion, Caterina Urban. Quantitative Static Timing Analysis. 31st Static Analysis Symposium (SAS 2024), Roberto Giacobazzi; Alessandra Gorla; Marco Campion, Oct 2024, Pasadena, CA, United States. ⟨hal-04669723⟩
  • Ben Batten, Yang Zheng, Alessandro De Palma, Panagiotis Kouvaros, Alessio Lomuscio. Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. ECAI 2024 - European Conference on Artificial Intelligence, Oct 2024, Santiago de Compostela, Spain. ⟨hal-04727955⟩
  • Romain Xu-Darme, Aymeric Varasse, Alban Grastien, Julien Girard, Zakaria Chihani. CaBRNet, an open-source library for developing and evaluating Case-Based Reasoning Models. xAI 2024 - The 2nd World Conference on eXplainable Artificial Intelligence, Jul 2024, La valette, Malta. pp.TBD. ⟨cea-04688217v2⟩
  • Denis Mazzucato, Marco Campion, Caterina Urban. Quantitative Input Usage Static Analysis. NASA Formal Methods 2024, Jun 2024, Moffett Field (CA), United States. pp.79-98, ⟨10.1007/978-3-031-60698-4_5⟩. ⟨hal-04339001v3⟩
  • Mehdi Zadem, Sergio Mover, Sergio Mover, Sao Mai Nguyen. Reconciling Spatial and Temporal Abstractions for Goal Representation. ICLR 2024: Twelfth International Conference on Learning Representations, May 2024, Vienna, Austria. ⟨hal-04629549⟩
  • Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M Pawan Kumar, Robert Stanforth, et al.. Expressive Losses for Verified Robustness via Convex Combinations. ICLR 2024 - International Conference on Learning Representations, May 2024, Vienna, Austria. ⟨hal-04511820⟩
  • Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella. Abstract Interpretation-Based Feature Importance for Support Vector Machines. 25th 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⟩. ⟨hal-04378817⟩
  • Léo Henry, Blaise Genest, Alexandre Drewery. Reinforcement Planning for effective ε-optimal policies in dense time with discontinuities. 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2023, hyderabad, India. ⟨10.4230/LIPIcs⟩. ⟨hal-04280462⟩

Proceedings2 document

  • Eric Goubault, Sylvie Putot. A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks. International Symposium on Formal Methods, FM 2024, 14933, Springer Nature Switzerland, pp.324-342, 2025, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-71162-6_17⟩. ⟨hal-04546350v2⟩
  • Clément Yvernes, Emilie Devijver, Éric Gaussier. Complete Characterization for Adjustment in Summary Causal Graphs of Time Series. 41st Conference on Uncertainty in Artificial Intelligence (UAI2025), Jul 2025, Rio de janeiro, Brazil. 2025. ⟨hal-05243540⟩

Preprints, Working Papers4 document

  • Michele Alberti, François Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, et al.. The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. 2025. ⟨hal-05086899⟩
  • Marco Campion, Isabella Mastroeni, Michele Pasqua, Caterina Urban. Abstract Lipschitz Continuity. 2025. ⟨hal-04935306v3⟩
  • Benedikt Bollig, Matthias Függer, Thomas Nowak. A Framework for Streaming Event-Log Prediction in Business Processes. 2025. ⟨hal-04866045⟩
  • Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo Alberto Pérez, et al.. Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives. 2024. ⟨hal-04797702v3⟩

Theses1 document

  • Denis Mazzucato. Static Analysis by Abstract Interpretation of Quantitative Program Properties. Computer Science [cs]. École Normale Supérieure, 2024. English. ⟨NNT : ⟩. ⟨tel-04886659⟩

Powered by HAL logo