Sign in
Luca Arnaboldi
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 5
Top Topics
Symbolic Data
Vehicle Speed
Evaluation Methodology
Neuro Fuzzy
Top Venues
CoRR
AI Ethics
ESORICS (3)
Expert Syst. Appl.
</>
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)
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)