Search Results for author: Calvin Chau

Found 1 papers, 1 papers with code

Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks

1 code implementation20 Jul 2023 Calvin Chau, Jan Křetínský, Stefanie Mohr

In this work, we provide a more flexible framework where a neuron can be replaced with a linear combination of other neurons, improving the reduction.

Cannot find the paper you are looking for? You can Submit a new open access paper.