Shuang Xia, Krysia Broda, Alessandra Russo. Topical Neural Theorem Prover that Induces Rules. In Grégoire Danoy, Jun Pang 0001, Geoff Sutcliffe, editors, 6th Global Conference on Artificial Intelligence, GCAI 2020, Hangzhou, China, April 6-9, 2020. Volume 72 of EPiC Series in Computing, pages 107-120, EasyChair, 2020. [doi]
Abstract is missing.