2 citations · 2 across the 1 of their papers we have counts for
4 papers
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…
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…
Efficient Exact Verification of Binarized Neural Networks
Kai Jia, Martin Rinard
Concerned with the reliability of neural networks, researchers have developed verification techniques to prove their robustness. Most verifiers work with real-valued networks. Unfo…
Theano: A Python framework for fast computation of mathematical expressions
The Theano Development Team, Rami Al-Rfou, Guillaume Alain +110
Theano is a Python library that allows to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. Since its introduction, it has bee…