6 citations · 8 across the 5 of their papers we have counts for
1 paper · 1 filter
James Ferlez, Haitham Khedr, Yasser Shoukry
In this paper, we present the tool Fast Box Analysis of Two-Level Lattice Neural Networks (Fast BATLLNN) as a fast verifier of box-like output constraints for Two-Level Lattice (TL…