P.O. Box 969
Livermore, CA 94551
United States
Sandia National Laboratories
neural networks, mixed-integer linear programming, verification, physics-informed machine learning