Taming Binarized Neural Networks and Mixed-Integer Programs

5 October 2023

Papers citing "Taming Binarized Neural Networks and Mixed-Integer Programs"

3 / 3 papers shown

Title
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization Jianting Yang Srecko Ðurasinovic Jean B. Lasserre Victor Magron Jun Zhao AAML 39 1 0 27 May 2024
Piecewise Polynomial Regression of Tame Functions via Integer Programming Gilles Bareilles Johannes Aspman Jiri Nemecek Jakub Marecek 16 1 0 22 Nov 2023
A comprehensive review of Binary Neural Network Chunyu Yuan S. Agaian MQ 42 95 0 11 Oct 2021