SRI Lab, ETH Zurich
Secure, Reliable, Intelligent Systems Lab, ETH Zurich
Pinned Loading
Repositories
Showing 10 of 101 repositories
- dl2 Public
DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, outputs, weights) and to query networks for inputs fulfilling a logical formula.
eth-sri/dl2’s past year of commit activity