DL2
From MaRDI portal
Software:56246
No author found.
Source code repository: https://github.com/eth-sri/dl2
Related Items (5)
Inclusion of domain-knowledge into GNNs using mode-directed inverse entailment ⋮ DiffRNN: differential verification of recurrent neural networks ⋮ Neuro-symbolic artificial intelligence ⋮ Logic tensor networks ⋮ SyReNN: a tool for analyzing deep neural networks
This page was built for software: DL2
