44 citations · 111 across the 15 of their papers we have counts for
1 paper · 1 filter
Thibault Gauthier
We present an implementation of tree neural networks within the proof assistant HOL4. Their architecture makes them naturally suited for approximating functions whose domain is a s…