51 citations · 366 across the 55 of their papers we have counts for
1 paper · 2 filters
Calvin Chau, Jan Křetínský, Stefanie Mohr
Abstraction is a key verification technique to improve scalability. However, its use for neural networks is so far extremely limited. Previous approaches for abstracting classifica…