Rickard Ewetz

Latest

• Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving
• Neural SDEs for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions
• Responsible Reasoning with Large Language Models and the Impact of Proper Nouns
• Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations
• Automated Synthesis of Quantum Circuits using Symbolic Abstractions and Decision Procedures
• On Smoother Attributions using Neural Stochastic Differential Equations