Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2108.00893
Cited By
v1
v2 (latest)
Static analysis of ReLU neural networks with tropical polyhedra
30 July 2021
Eric Goubault
Sébastien Palumby
S. Putot
Louis Rustenholz
S. Sankaranarayanan
Re-assign community
ArXiv (abs)
PDF
HTML
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
Mingbo Li
Liying Liu
Ye Luo
115
0
0
09 Apr 2025
A DPLL(T) Framework for Verifying Deep Neural Networks
Hai V. Duong
Thanh-Dat Nguyen
Matthew B. Dwyer
98
10
0
17 Jul 2023
DelBugV: Delta-Debugging Neural Network Verifiers
R. Elsaleh
Guy Katz
106
2
0
29 May 2023
Verifying Generalization in Deep Learning
Guy Amir
Osher Maayan
Tom Zelazny
Guy Katz
Michael Schapira
AAML
AI4CE
81
14
0
11 Feb 2023
1
