Topical Neural Theorem Prover that Induces Rules - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Shuang Xia' in GoogleThis author has not been identified. Look up 'Krysia Broda' in GoogleThis author has not been identified. Look up 'Alessandra Russo' in Google

runs on WebDSL