Mohammad Afzal

According to our database, Mohammad Afzal authored at least 10 papers between 2019 and 2026.

Collaborative distances:

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

2026

Formal Reasoning About Confidence and Automated Verification of Neural Networks.

Mohammad Afzal, S. Akshay, Blaise Genest, Ashutosh Gupta

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

2025

Verifying rich robustness properties for neural networks.

Mohammad Afzal, S. Akshay, Ashutosh Gupta

CoRR, November, 2025

False Positives in Robustness Checking of Neural Networks.

Mohammad Afzal, Ashutosh Gupta, R. Venkatesh, S. Akshay

Proceedings of the Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, 2025

2024

Unifying Syntactic and Semantic Abstractions for Deep Neural Networks.

Sanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2023

Using Counterexamples to Improve Robustness Verification in Neural Networks.

Mohammad Afzal, Ashutosh Gupta, S. Akshay

Proceedings of the Automated Technology for Verification and Analysis, 2023

LTL-Based Non-Markovian Inverse Reinforcement Learning.

Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna, Ashutosh Trivedi, Alvaro Velasquez

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Efficiently Finding Adversarial Examples with DNN Preprocessing.

Avriti Chauhan, Mohammad Afzal, Hrishikesh Karmarkar, Yizhak Yisrael Elboher, Kumar Madhukar, Guy Katz

CoRR, 2022

2021

Quantitative Learning of LTL from Finite Traces.

Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna

CoRR, 2021

2020

VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).

Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

VeriAbs : Verification by Abstraction and Test Generation.

Mohammad Afzal, Asia A, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar, R. Venkatesh

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019