Thakur, Aditya V.

1. Provable Repair of Deep Neural Networks
   2021/04/09 by Sotoudeh, Matthew, Thakur, Aditya V. · 6 citations
   #FOS: Computer and information sciences #Machine Learning (cs.LG)
2. Path-Based Function Embedding and its Application to Specification\n Mining
   2018/02/21 by Daniel DeFreez, DeFreez, Daniel, Aditya Thakur +3 · 3 citations
   Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
3. Abstract Neural Networks
   2020/09/11 by Sotoudeh, Matthew, Thakur, Aditya V. · 1 citation
   #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Programming Languages (cs.PL)