3 papers
cs.LG2025
Sensitivity Analysis for Climate Science with Generative Flow Models
Alex Dobra, Jakiw Pidstrigach, Tim Reichelt +6
Sensitivity analysis is a cornerstone of climate science, essential for understanding phenomena ranging from storm intensity to long-term climate feedbacks. However, computing thes…
cs.LG2025
Branch and Bound for Piecewise Linear Neural Network Verification
Rudy Bunel, Jingyue Lu, Ilker Turkaslan +3
The success of Deep Learning and its potential use in many safety-critical applications has motivated research on formal verification of Neural Network (NN) models. In this context…
cs.LG2025
Implicit Neural Representations for Chemical Reaction Paths
Kalyan Ramakrishnan, Lars L. Schaaf, Chen Lin +2
We show that neural networks can be optimized to represent minimum energy paths as continuous functions, offering a flexible alternative to discrete path-search methods such as Nud…