NuSCI Research Group
NuSCI Research Group
People
Projects
Publications
Blogs/Demos
Contact
Light
Dark
Automatic
Alvaro Velasquez
Latest
Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving
Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting
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
Cite
×