70 citations · 97 across the 17 of their papers we have counts for
Showing cs.LGShow all
3 papers · 1 filter
cs.LG2026
Score-Based Stabilization for Time-Dependent Problems
Eshed Gal, Eldad Haber, Uri Ascher
We propose a score-based stabilization framework for numerical simulation of partial differential equations, in which a learned score model defines a stabilization operator applied…
cs.LG2026
Target-Aware Data Augmentation for SAT Prediction
Eshed Gal, Uri Ascher, Eldad Haber
Learning-based approaches to NP-hard problems have shown increasing promise, but their progress is fundamentally constrained by the high cost of generating labeled training data. I…
cs.LG2022★ 1 cited
Neural DAEs: Constrained neural networks
Tue Boesen, Eldad Haber, Uri Michael Ascher
This article investigates the effect of explicitly adding auxiliary algebraic trajectory information to neural networks for dynamical systems. We draw inspiration from the field of…