most citedPicard-KKT-hPINN: Enforcing Nonlinear Enthalpy Balances for Physically Consistent Neural Networks

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing math.OCShow all

2 papers · 1 filter

math.OC2026

Pruning for efficient deterministic global optimization over trained ReLU neural networks

Giacomo Lastrucci, Tanuj Karia, Victor Schulte +2

Neural networks are increasingly used as surrogates in optimization problems to replace computationally expensive models. However, embedding ReLU neural networks in mathematical pr…

math.OC2025

Deterministic Global Optimization over trained Kolmogorov Arnold Networks

Tanuj Karia, Giacomo Lastrucci, Artur M. Schweidtmann

To address the challenge of tractability for optimizing mathematical models in science and engineering, surrogate models are often employed. Recently, a new class of machine learni…