Giters

eth-sri / dl2

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.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

eth-sri/dl2 Stargazers