Finding least cost proofs using high order recurrent networks.

Ashraf M. Abdelbar, Emad A. M. Andrews, Gene A. Tagliarini

Browse the full IJCNN paper archive.