DL2

swMATH40546MaRDI QIDQ56246FDOQ56246

Author name not available (Why is that?)

Official website: http://proceedings.mlr.press/v97/fischer19a/fischer19a.pdf

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

Cited In (22)

• DeepCoder
• DeepGauge
• DiffRNN: differential verification of recurrent neural networks
• SyReNN: a tool for analyzing deep neural networks
• POPQORN
• Inclusion of domain-knowledge into GNNs using mode-directed inverse entailment
• IMLI
• kLog
• PEORL
• Marabou
• VERIFAI
• TensorLog
• Logic tensor networks
• AI2
• FastGRNN
• gRPC
• Shiftry
• SyReNN
• Neuro-symbolic artificial intelligence
• DeepProbLog
• NeurASP
• NNRepair

This page was built for software: DL2