@Inproceedings{EPTCS152.5, author = {Heras, J\'onathan and Komendantskaya, Ekaterina}, year = {2014}, title = {ACL2(ml): Machine-Learning for ACL2}, editor = {Verbeek, Freek and Schmaltz, Julien}, booktitle = {{\rm Proceedings Twelfth International Workshop on the} ACL2 Theorem Prover and its Applications, {\rm Vienna, Austria, 12-13th July 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {152}, publisher = {Open Publishing Association}, pages = {61-75}, doi = {10.4204/EPTCS.152.5}, }