Alert button
Picture for Rickard Ewetz

Rickard Ewetz

Alert button

Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving

Sep 28, 2023
Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema

Figure 1 for Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving
Figure 2 for Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving
Figure 3 for Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving
Figure 4 for Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving
Viaarxiv icon

Neural Stochastic Differential Equations for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions

Sep 27, 2023
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez

Viaarxiv icon

Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision

May 31, 2023
Chase Walker, Sumit Jha, Kenny Chen, Rickard Ewetz

Figure 1 for Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision
Figure 2 for Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision
Figure 3 for Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision
Figure 4 for Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision
Viaarxiv icon

On the Robustness of AlphaFold: A COVID-19 Case Study

Jan 12, 2023
Ismail Alkhouri, Sumit Jha, Andre Beckus, George Atia, Alvaro Velasquez, Rickard Ewetz, Arvind Ramanathan, Susmit Jha

Figure 1 for On the Robustness of AlphaFold: A COVID-19 Case Study
Figure 2 for On the Robustness of AlphaFold: A COVID-19 Case Study
Figure 3 for On the Robustness of AlphaFold: A COVID-19 Case Study
Figure 4 for On the Robustness of AlphaFold: A COVID-19 Case Study
Viaarxiv icon

Protein Folding Neural Networks Are Not Robust

Sep 19, 2021
Sumit Kumar Jha, Arvind Ramanathan, Rickard Ewetz, Alvaro Velasquez, Susmit Jha

Figure 1 for Protein Folding Neural Networks Are Not Robust
Figure 2 for Protein Folding Neural Networks Are Not Robust
Figure 3 for Protein Folding Neural Networks Are Not Robust
Figure 4 for Protein Folding Neural Networks Are Not Robust
Viaarxiv icon

An Extension of Fano's Inequality for Characterizing Model Susceptibility to Membership Inference Attacks

Sep 17, 2020
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Sunny Raj, Alvaro Velasquez, Laura L. Pullum, Ananthram Swami

Figure 1 for An Extension of Fano's Inequality for Characterizing Model Susceptibility to Membership Inference Attacks
Figure 2 for An Extension of Fano's Inequality for Characterizing Model Susceptibility to Membership Inference Attacks
Figure 3 for An Extension of Fano's Inequality for Characterizing Model Susceptibility to Membership Inference Attacks
Viaarxiv icon

Representable Matrices: Enabling High Accuracy Analog Computation for Inference of DNNs using Memristors

Nov 27, 2019
Baogang Zhang, Necati Uysal, Deliang Fan, Rickard Ewetz

Figure 1 for Representable Matrices: Enabling High Accuracy Analog Computation for Inference of DNNs using Memristors
Figure 2 for Representable Matrices: Enabling High Accuracy Analog Computation for Inference of DNNs using Memristors
Figure 3 for Representable Matrices: Enabling High Accuracy Analog Computation for Inference of DNNs using Memristors
Figure 4 for Representable Matrices: Enabling High Accuracy Analog Computation for Inference of DNNs using Memristors
Viaarxiv icon