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)

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

This page was built for software: DL2