conftrace_

adjoint sensitivity

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

stochastic guarantee (1) correlation potential (1) time-dependent schrodinger equation (1) least squares optimization (1) reachability analysis (1) electron density (1) lagrangian method (1) model verification (1) neural ordinary differential equation (1) formal verification (1)

Papers

Dynamic Learning of Correlation Potentials for a Time-Dependent Kohn-Sham System L4DC 2022 On the Verification of Neural ODEs with Stochastic Guarantees AAAI 2021