Diganta Mukhopadhyay

Orcid: 0009-0005-0814-3094

According to our database1, Diganta Mukhopadhyay authored at least 3 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2022
2023
2024
0
1
2
3
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Learning DNN Abstractions using Gradient Descent.
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

Unifying Syntactic and Semantic Abstractions for Deep Neural Networks.
Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2022
Permutation Invariance of Deep Neural Networks with ReLUs.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022


  Loading...