Luca Arnaboldi

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 9

Top Topics

Sound Theoretical

Evaluation Methodology

Top Venues

Publications

Matthew L. Daggitt, Wen Kokke, Robert Atkey, Natalia Slusarz, Luca Arnaboldi, Ekaterina Komendantskaya
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs. CoRR (2024)
Roberto Metere, Ricardo M. Czekster, Luca Arnaboldi
Enhancing Expressiveness in Stochastic Modelling of Cyber-Physical Systems. MECO (2024)
Marco Casadio, Tanvi Dinkar, Ekaterina Komendantskaya, Luca Arnaboldi, Omri Isac, Matthew L. Daggitt, Guy Katz, Verena Rieser, Oliver Lemon
NLP Verification: Towards a General Methodology for Certifying Robustness. CoRR (2024)
Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee
The Vehicle Tutorial: Neural Network Verification with Vehicle. FoMLAS@CAV (2023)
Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification. FoMLAS@CAV (2023)
Artur Sokolovsky, Luca Arnaboldi
A generic methodology for the statistically uniform & comparable evaluation of Automated Trading Platform components. Expert Syst. Appl. 223 (2023)
Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification. CoRR (2023)
Ronny Bogani, Andreas Theodorou, Luca Arnaboldi, Robert H. Wortham
Garbage in, toxic data out: a proposal for ethical artificial intelligence sustainability impact statements. AI Ethics 3 (4) (2023)
Luca Arnaboldi, David Aspinall, Christina Kolb, Sasa Radomirovic
Tactics for Account Access Graphs. ESORICS (3) (2023)