Sumit Jha

Latest

• Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving
• Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting
• Neural SDEs for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions
• Responsible Reasoning with Large Language Models and the Impact of Proper Nouns
• 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