3 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.AI2023★ 3 cited
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…
cs.LG2023★ 1 cited
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…
cs.LG2023★ 2 cited
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…