| 2025 | FSCD | Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs (Invited Talk). | Matthew L. Daggitt, Wen Kokke, Robert Atkey, Ekaterina Komendantskaya, Natalia Slusarz, Luca Arnaboldi |
| 2025 | SAFECOMP | From Bouncing Break-ins to Frictional Firewalls: Ideas About Interacting Requirements for Vehicle Safety and Security. | Luca Arnaboldi, David Aspinall, Christina Kolb, Sasa Radomirovic |
| 2024 | ICML | Online Learning and Information Exponents: The Importance of Batch size & Time/Complexity Tradeoffs. | Luca Arnaboldi, Yatin Dandi, Florent Krzakala, Bruno Loureiro, Luca Pesce, Ludovic Stephan |
| 2024 | ICML | The Benefits of Reusing Batches for Gradient Descent in Two-Layer Networks: Breaking the Curse of Information and Leap Exponents. | Yatin Dandi, Emanuele Troiani, Luca Arnaboldi, Luca Pesce, Lenka Zdeborov, Florent Krzakala |
| 2023 | CAV | ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification. | Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya |
| 2023 | CAV | The Vehicle Tutorial: Neural Network Verification with Vehicle. | Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee |
| 2023 | COLT | From high-dimensional & mean-field dynamics to dimensionless ODEs: A unifying approach to SGD in two-layers networks. | Luca Arnaboldi, Ludovic Stephan, Florent Krzakala, Bruno Loureiro |
| 2023 | CPP | Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively. | Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, Luca Arnaboldi |
| 2023 | ESORICS | Tactics for Account Access Graphs. | Luca Arnaboldi, David Aspinall, Christina Kolb, Sasa Radomirovic |
| 2022 | SAFECOMP | Towards Interdependent Safety Security Assessments Using Bowties. | Luca Arnaboldi, David Aspinall |
| 2019 | CCS | Poster: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols. | Luca Arnaboldi, Roberto Metere |