NuSCI Research Group
NuSCI Research Group
People
Projects
Publications
Blogs/Demos
Contact
Light
Dark
Automatic
Sumit Jha
Latest
Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations
Automated Synthesis of Quantum Circuits using Symbolic Abstractions and Decision Procedures
On Smoother Attributions using Neural Stochastic Differential Equations
Attribution-Based Confidence Metric For Deep Neural Network
Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems
Cite
×