DL2

MaRDI QIDQ56246swMATHFDO

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

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

Cited in

(22)

• 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
• kLog
• PEORL
• Marabou
• VERIFAI
• TensorLog
• AI2
• FastGRNN
• gRPC
• Shiftry
• SyReNN
• Logic tensor networks
• POPQORN
• DeepCoder
• DeepGauge
• DeepProbLog
• NeurASP
• Neuro-symbolic artificial intelligence
• IMLI
• NNRepair

This page was built for software: DL2