Atlanta, GA 30332
United States
Georgia Institute of Technology
neural networks, mixed-integer linear programming, verification, physics-informed machine learning