Mohammad Afzal

Employment

• TCS research Scientist
  2017 - Present

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (3)

• Formal Reasoning About Confidence and Automated Verification of Neural Networks
  2026 DOI: 10.1007/978-3-032-26204-2_25
  +Save
• Unifying Syntactic and Semantic Abstractions for Deep Neural Networks
  2024 DOI: 10.1007/978-3-031-68150-9_12
  +Save
• Using Counterexamples to Improve Robustness Verification in Neural Networks
  2023 DOI: 10.1007/978-3-031-45329-8_20
  +Save