firstbacksecondback
27 Results
|
Workshop
|
Scale-consistent learning with neural operators Zongyi Li · Samuel Lanthaler · Catherine Deng · Yixuan Wang · Kamyar Azizzadenesheli · Animashree Anandkumar |
||
|
Workshop
|
Equation-driven Neural Networks for Periodic Quantum Systems Circe Hsu · Marios Mattheakis · Gabriel Schleder · Daniel Larson |
||
|
Poster
|
Thu 16:30 |
Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber · Stefan Mitsch · André Platzer |