Fixed-Point Code Synthesis For Neural Networks

4 February 2022

Papers citing "Fixed-Point Code Synthesis For Neural Networks"

2 / 2 papers shown

Title
Efficient and Mathematically Robust Operations for Certified Neural Networks Inference Fabien Geyer Johannes Freitag Tobias Schulz Sascha Uhrig 31 1 0 16 Jan 2024
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017