31 citations · 58 across the 38 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2025
Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis
Long Kiu Chung, Shreyas Kousik
Even though neural networks are being increasingly deployed in safety-critical control applications, it remains difficult to enforce constraints on their output, meaning that it is…
cs.LG2021★ 5 cited
Constrained Feedforward Neural Network Training via Reachability Analysis
Long Kiu Chung, Adam Dai, Derek Knowles +2
Neural networks have recently become popular for a wide variety of uses, but have seen limited application in safety-critical domains such as robotics near and around humans. This…