54 citations · 312 across the 36 of their papers we have counts for
Showing 2021 · cs.LGShow all
2 papers · 2 filters
cs.LG2021★ 7 cited
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling
Franck Djeumou, Cyrus Neary, Eric Goubault +2
Effective inclusion of physics-based knowledge into deep neural network models of dynamical systems can greatly improve data efficiency and generalization. Such a-priori knowledge…
cs.LG2021
Static analysis of ReLU neural networks with tropical polyhedra
Eric Goubault, Sébastien Palumby, Sylvie Putot +2
This paper studies the problem of range analysis for feedforward neural networks, which is a basic primitive for applications such as robustness of neural networks, compliance to s…