Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2211.14438
Cited By
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic
22 November 2022
Wael Fatnassi
Haitham Khedr
Valen Yamamoto
Yasser Shoukry
Re-assign community
ArXiv
PDF
HTML
Papers citing
"BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic"
3 / 3 papers shown
Title
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
Xiaowu Sun
Yasser Shoukry
40
11
0
11 Oct 2022
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
Weiming Xiang
Hoang-Dung Tran
Taylor T. Johnson
72
290
0
09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
222
1,832
0
03 Feb 2017
1