Tree neural networks in HOL4

DOI10.1007/978-3-030-53518-6_18zbMath1455.68247arXiv2009.01827OpenAlexW3042660573MaRDI QIDQ2219410

Thibault Gauthier

Publication date: 20 January 2021

Full work available at URL: https://arxiv.org/abs/2009.01827

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Guiding an automated theorem prover with neural rewriting

Uses Software

• LIBLINEAR
• HOL
• XGBoost

This page was built for publication: Tree neural networks in HOL4