ResearchTrend.AI
Taming Binarized Neural Networks and Mixed-Integer Programs

Taming Binarized Neural Networks and Mixed-Integer Programs

Johannes Aspman
Georgios Korpas
Jakub Marecek
ArXivPDFHTML

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
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
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
A comprehensive review of Binary Neural Network
Chunyu Yuan
S. Agaian
MQ
45
95
0
11 Oct 2021