29 citations · 63 across the 7 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LG2021
Verifying Low-dimensional Input Neural Networks via Input Quantization
Kai Jia, Martin Rinard
Deep neural networks are an attractive tool for compressing the control policy lookup tables in systems such as the Airborne Collision Avoidance System (ACAS). It is vital to ensur…
math.NA2021★ 2 cited
SANM: A Symbolic Asymptotic Numerical Solver with Applications in Mesh Deformation
Kai Jia
Solving nonlinear systems is an important problem. Numerical continuation methods efficiently solve certain nonlinear systems. The Asymptotic Numerical Method (ANM) is a powerful c…