Computability of Classification and Deep Learning: From Theoretical Limits to Practical Feasibility through Quantization

12 August 2024

Papers citing "Computability of Classification and Deep Learning: From Theoretical Limits to Practical Feasibility through Quantization"

2 / 2 papers shown

Title
Learning ReLU networks to high uniform accuracy is intractable Julius Berner Philipp Grohs F. Voigtlaender 19 4 0 26 May 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 219 1,818 0 03 Feb 2017