Neural Networks for Proof-Pattern Recognition.

Ekaterina Komendantskaya, Kacper Lichota

Browse the full ICANN paper archive.