Tree neural networks in HOL4
From MaRDI portal
Publication:2219410
DOI10.1007/978-3-030-53518-6_18zbMath1455.68247arXiv2009.01827OpenAlexW3042660573MaRDI QIDQ2219410
Publication date: 20 January 2021
Full work available at URL: https://arxiv.org/abs/2009.01827
Artificial neural networks and deep learning (68T07) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (1)
Uses Software
This page was built for publication: Tree neural networks in HOL4