"Tree Neural Networks in HOL4."

Thibault Gauthier (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics