"Topical Neural Theorem Prover that Induces Rules."

Shuang Xia, Krysia Broda, Alessandra Russo (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics