Pinned Repositories
Cs-for-Ds
projectsite
sgtcmi
smt-for-deep-learning-project
A project by Diganta Mukhopadhyay and Sougata Bhattacharya for an SMT course for verification of neural network @Chennai Mathematical Institute
Tredence-Competition
A hiring challenge from Tredence
sgtcmi's Repositories
sgtcmi/Cs-for-Ds
sgtcmi/projectsite
sgtcmi/sgtcmi
sgtcmi/smt-for-deep-learning-project
A project by Diganta Mukhopadhyay and Sougata Bhattacharya for an SMT course for verification of neural network @Chennai Mathematical Institute
sgtcmi/Tredence-Competition
A hiring challenge from Tredence