ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2211.14438
  4. Cited By
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein
  Polynomial Interval Arithmetic

BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic

22 November 2022
Wael Fatnassi
Haitham Khedr
Valen Yamamoto
Yasser Shoukry
ArXivPDFHTML

Papers citing "BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic"

5 / 5 papers shown
Title
DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using
  Bernstein Polynomial Activations and Precise Bound Propagation
DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation
Haitham Khedr
Yasser Shoukry
47
5
0
22 May 2023
Automated Reachability Analysis of Neural Network-Controlled Systems via
  Adaptive Polytopes
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes
Taha Entesari
Mahyar Fazlyab
40
5
0
14 Dec 2022
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
Xiaowu Sun
Yasser Shoukry
48
11
0
11 Oct 2022
Output Reachable Set Estimation and Verification for Multi-Layer Neural
  Networks
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
Weiming Xiang
Hoang-Dung Tran
Taylor T. Johnson
88
293
0
09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
249
1,842
0
03 Feb 2017
1