Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Fabrizio Leopardi
conf.researchr.org general profile
APLAS & ATVA 2026 profile
FM 2026 profile
POPL 2027 profile
Not registered as user
Name:
Fabrizio Leopardi
Country:
Switzerland
Affiliation:
University of Lugano
Contributions
2027
VMCAI
Committee Member in Artifact Evaluation Committee within the VMCAI 2027-track
2026
APLAS
Author of Neuron Activation-based Computation of Logical Explanations for Deep Neural Networks within the ATVA Research Papers-track
FM
Author of Formally Explaining Neural Network Classification within the Tutorials-track
Share
x
Wed 7 Oct 08:38