1 citations · 1 across the 3 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…