Towards a unifying logical framework for neural networks
From MaRDI portal
Publication:6164487
DOI10.1007/978-3-031-17715-6_28MaRDI QIDQ6164487
No author found.
Publication date: 28 July 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Related Items (1)
Cites Work
- Finite-trace linear temporal logic: coinductive completeness
- A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability
- Matching logic explained
- Safety verification of deep neural networks
- A lattice-theoretical fixpoint theorem and its applications
- Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
- Matching µ-logic: Foundation of K framework
- Formal specification for deep neural networks
- Towards a unifying logical framework for neural networks
This page was built for publication: Towards a unifying logical framework for neural networks
