The following pages link to DL2 (Q56246):
Displayed 5 items.
- DiffRNN: differential verification of recurrent neural networks (Q832044) (← links)
- Inclusion of domain-knowledge into GNNs using mode-directed inverse entailment (Q2127250) (← links)
- SyReNN: a tool for analyzing deep neural networks (Q2233513) (← links)
- Logic tensor networks (Q2667828) (← links)
- Neuro-symbolic artificial intelligence (Q5069646) (← links)