ResearchTrend.AI
Static analysis of ReLU neural networks with tropical polyhedra
v1v2 (latest)

Static analysis of ReLU neural networks with tropical polyhedra

Eric Goubault
Sébastien Palumby
S. Putot
Louis Rustenholz
S. Sankaranarayanan
ArXiv (abs)PDFHTML

Papers citing "Static analysis of ReLU neural networks with tropical polyhedra"

4 / 4 papers shown
Title
Compound and Parallel Modes of Tropical Convolutional Neural Networks
Compound and Parallel Modes of Tropical Convolutional Neural Networks
Mingbo Li
Liying Liu
Ye Luo
115
0
0
09 Apr 2025
A DPLL(T) Framework for Verifying Deep Neural Networks
A DPLL(T) Framework for Verifying Deep Neural Networks
Hai V. Duong
Thanh-Dat Nguyen
Matthew B. Dwyer
96
10
0
17 Jul 2023
DelBugV: Delta-Debugging Neural Network Verifiers
DelBugV: Delta-Debugging Neural Network Verifiers
R. Elsaleh
Guy Katz
106
2
0
29 May 2023
Verifying Generalization in Deep Learning
Verifying Generalization in Deep Learning
Guy Amir
Osher Maayan
Tom Zelazny
Guy Katz
Michael Schapira
AAMLAI4CE
81
14
0
11 Feb 2023