Faezeh Labbaf

According to our database, Faezeh Labbaf authored at least 5 papers between 2023 and 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

2025

Space Explanations of Neural Network Classification.

Faezeh Labbaf, Tomás Kolárik, Martin Blicha, Grigory Fedyukovich, Michael Wand, Natasha Sharygina

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2023

Compositional Learning for Interleaving Parallel Automata (CL-Star).

Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi

Dataset, April, 2023

Compositional Learning for Interleaving Parallel Automata.

Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi

Proceedings of the Foundations of Software Science and Computation Structures, 2023