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

2 citations · 3 across the 4 of their papers we have counts for

collaborators
Showing cs.LGShow all

2 papers · 1 filter

cs.LG2022★ 2 cited

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

Wael Fatnassi, Haitham Khedr, Valen Yamamoto +1

In this paper, we present BERN-NN as an efficient tool to perform bound propagation of Neural Networks (NNs). Bound propagation is a critical step in wide range of NN model checker…

cs.LG2021

Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach

Xiaowu Sun, Wael Fatnassi, Ulices Santa Cruz +1

While conventional reinforcement learning focuses on designing agents that can perform one task, meta-learning aims, instead, to solve the problem of designing agents that can gene…