Fabrizio Leopardi

According to our database, Fabrizio Leopardi authored at least 2 papers in 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Formally Explaining Neural Network Classification.

Tomás Kolárik, Grigory Fedyukovich, Faezeh Labbaf, Fabrizio Leopardi, Natasha Sharygina, Michael Wand

Proceedings of the Formal Methods - 27th International Symposium, 2026

Interpreting Logical Explanations of Classifying Neural Networks.

Fabrizio Leopardi, Faezeh Labbaf, Tomás Kolárik, Michael Wand, Natasha Sharygina

Proceedings of the 34th European Symposium on Artificial Neural Networks, 2026