Mohammad Afzal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2020–2026
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Formal Reasoning About Confidence and Automated Verification of Neural Networks. | Mohammad Afzal, S. Akshay, Blaise Genest, Ashutosh Gupta |
| 2024 | FMICS | Unifying Syntactic and Semantic Abstractions for Deep Neural Networks. | Sanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar |
| 2023 | ATVA | Using Counterexamples to Improve Robustness Verification in Neural Networks. | Mohammad Afzal, Ashutosh Gupta, S. Akshay |
| 2020 | TACAS | 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 |