147 citations · 174 across the 4 of their papers we have counts for
3 papers · 1 filter
Partition-based formulations for mixed-integer optimization of trained ReLU neural networks
Calvin Tsay, Jan Kronqvist, Alexander Thebelt +1
This paper introduces a class of mixed-integer formulations for trained ReLU neural networks. The approach balances model size and tightness by partitioning node inputs into a numb…
Between steps: Intermediate relaxations between big-M and convex hull formulations
Jan Kronqvist, Ruth Misener, Calvin Tsay
This work develops a class of relaxations in between the big-M and convex hull formulations of disjunctions, drawing advantages from both. The proposed "P-split" formulations split…
Identification and online updating of dynamic models for demand response of an industrial air separation unit
Calvin Tsay, Yanan Cao, Yajun Wang +2
Demand-response operation of air separation units requires frequent changes in production rate(s), and scheduling calculations must explicitly consider process dynamics to ensure f…