HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:neural theorem prover

Publications
Topical Neural Theorem Prover that Induces Rules
Shuang Xia, Krysia Broda and Alessandra Russo
In:GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)
Copyright © 2012-2025 easychair.org. All rights reserved.