An implementation of a theorem prover in symmetric neural networks.

Alvaro Kilkerry Neto, Gerson Zaverucha, Lus Alfredo Vidal de Carvalho

Browse the full IJCNN paper archive.