12 citations · 25 across the 16 of their papers we have counts for
4 papers · 1 filter
Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving
Sumit Kumar Jha, Susmit Jha, Patrick Lincoln +4
Generative large language models (LLMs) with instruct training such as GPT-4 can follow human-provided instruction prompts and generate human-like responses to these prompts. Apart…
Neural Stochastic Differential Equations for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz +1
We present a comprehensive evaluation of the robustness and explainability of ResNet-like models in the context of Unintended Radiated Emission (URE) classification and suggest a n…
Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision
Chase Walker, Sumit Jha, Kenny Chen +1
Attribution algorithms are frequently employed to explain the decisions of neural network models. Integrated Gradients (IG) is an influential attribution method due to its strong a…
On the Robustness of AlphaFold: A COVID-19 Case Study
Ismail Alkhouri, Sumit Jha, Andre Beckus +5
Protein folding neural networks (PFNNs) such as AlphaFold predict remarkably accurate structures of proteins compared to other approaches. However, the robustness of such networks…