DMCA

Using Inductive Types for Ensuring Correctness of Neuro-Symbolic Computations

by Ekaterina Komendantskaya , Krysia Broda , Artur D’avila Garcez
Citations:1 - 1 self