4 citations · 12 across the 11 of their papers we have counts for
3 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…
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…