Pages that link to "Item:Q5919583"
From MaRDI portal
The following pages link to A formal proof of the expressiveness of deep learning (Q5919583):
Displaying 5 items.
- On the proof complexity of deep inference (Q2946572) (← links)
- Formalization of operations of block matrix based on Coq (Q3381519) (← links)
- An Algorithmic Interpretation of a Deep Inference System (Q5505576) (← links)
- Formal specification for deep neural networks (Q6109579) (← links)
- Towards formal XAI: formally approximate minimal explanations of neural networks (Q6535352) (← links)