Juan Pablo Munoz Toriz, Iván Martínez Ruiz, José Ramón Enrique Arrazola-Ramírez. On Automatic Theorem Proving with ML. In Alexander F. Gelbukh, Félix Castro Espinoza, Sofía N. Galicia-Haro, editors, 13th Mexican International Conference on Artificial Intelligence, MICAI 2014, Tuxtla Gutierrez, Mexico, November 16-22, 2014, Special Session Proceedings. pages 231-236, IEEE, 2014. [doi]
Abstract is missing.