DL2

swMATH40546MaRDI QIDQ56246FDOQ56246

Author name not available (Why is that?)

Source code repository: https://github.com/eth-sri/dl2

Cited In (5)

• DiffRNN: differential verification of recurrent neural networks
• SyReNN: a tool for analyzing deep neural networks
• Inclusion of domain-knowledge into GNNs using mode-directed inverse entailment
• Logic tensor networks
• Neuro-symbolic artificial intelligence

This page was built for software: DL2