Susmit Jha
机构: Director, Neurosymbolic Computing and Intelligence, SRI International
每年引用次数
引用次数
引用: 4,124
H-指数: 30
I10-指数 : 61
出版物: 189
Highway design considering glare
S Bagui , AVIJIT Ghosh , S Jha ,
Indian highways 32 ( 12) 19 -28
2004
DRMR News Letter Sarson News (January - june 2011)
S. S. Rathore , J. Nanjundan , S. K. Jha
Directorate of Rapeseed-Mustard Research, Sewar, Bharatpur
2011
Thermal Fatigue Failure of Low-Pressure Turbine Blade in a Low-Bypass Turbofan Engine
R. K. Mishra , S. K. Jha
Journal of Failure Analysis and Prevention 19 ( 2) 301 -307
2019
Soluble dietary fiber: clinical nutrition uses.
S. Jha , Manas Ranjan Mishra , Ashutosh Mishra , Dusmanta Kumar Pradhan
Der Pharmacia Lettre 2 ( 5) 371 -378
1
2010
Production of hairy root biomass of Spilanthes paniculata (DC.) jansen
Sheela Chandra , H. P. Sharma , Ramesh Chandra , S. Jha
The Indian pharmacist 5 ( 47) 69 -73
3
2006
Optimizing mobile display brightness by leveraging human visual perception
Gokhan Memik , Matthew Schuchhardt , Michael Kishinevsky , Susmit Jha
compilers, architecture, and synthesis for embedded systems 11 -20
4
2015
Component-based Synthesis Applied to Bitvector Programs
Sumit Gulwani , Susmit Jha , Ramarathnam Venkatesan , Ashish Tiwari
4
2010
On ∃ ∀ ∃! solving: a case study on automated synthesis of magic card tricks
Sanjit A. Seshia , Vasumathi Raman , Susmit Jha
formal methods in computer-aided design 81 -84
2016
Machine Learning and Formal Methods (Dagstuhl Seminar 17351)
Sanjit A. Seshia , Susmit Jha , Andreas Krause , Xianjin Zhu
Dagstuhl Reports 7 ( 8) 73
1
2018
Attribution-driven Causal Analysis for Detection of Adversarial Examples.
Brian Jalaian , Ananthram Swami , Sumit Kumar Jha , Susmit Jha
arXiv: Learning
12
2019
A Theory of Formal Synthesis via Inductive Learning
Sanjit A. Seshia , Susmit Jha
arXiv: Artificial Intelligence
130
2015
Learning Task Specifications from Demonstrations
Sanjit A. Seshia , Susmit Jha , Ashish Tiwari , Mark K. Ho
arXiv: Learning
67
2017
Attribution-Based Confidence Metric For Deep Neural Networks
Brian Jalaian , Ananthram Swami , Sumit Kumar Jha , Susmit Jha
neural information processing systems 32 11826 -11837
50
2019
On the Need for Topology-Aware Generative Models for Manifold-Based Defenses.
Susmit Jha , Somesh Jha , Uyeong Jang
arXiv: Learning
12
2019
An Extension of Fano's Inequality for Characterizing Model Susceptibility to Membership Inference Attacks.
Ananthram Swami , Sumit Kumar Jha , Susmit Jha , Alvaro Velasquez
arXiv: Learning
6
2020
Learning Certified Control using Contraction Metric.
Susmit Jha , Chuchu Fan , Dawei Sun
arXiv: Robotics
51
2020
Are there good mistakes? A theoretical analysis of CEGIS
Sanjit A. Seshia , Susmit Jha
Electronic Proceedings in Theoretical Computer Science 157 84 -99
18
2014
Automated Synthesis of Quantum Circuits using Symbolic Abstractions and Decision Procedures
Sumit Kumar Jha , Susmit Jha , Alvaro Velasquez , Rickard Ewetz
international symposium on circuits and systems
2021
Symbolic reachability analysis of lazy linear hybrid automata
Susmit Jha , Bryan A. Brady , Sanjit A. Seshia
formal modeling and analysis of timed systems 241 -256
29
2007
Model-Centered Assurance for Autonomous Systems
Susmit Jha , John Rushby , Natarajan Shankar
international conference on computer safety, reliability, and security 228 -243
18
2020