Learning-assisted theorem proving with millions of lemmas
From MaRDI portal
Publication:485842
DOI10.1016/j.jsc.2014.09.032zbMath1315.68220arXiv1402.3578WikidataQ35829526 ScholiaQ35829526MaRDI QIDQ485842
Publication date: 14 January 2015
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1402.3578
68T05: Learning and adaptive systems in artificial intelligence
Uses Software