Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

Scalable Neural Theorem Proving on Knowledge Bases and Natural Language · SciRah

article

Scalable Neural Theorem Proving on Knowledge Bases and Natural Language

Pasquale Minervini, Matko Bošnjak, Tim Rocktäschel, Edward Grefenstette, Sebastian Riedel

2018-09-27 1 citations

Looking for the full paper…

Share

Scalable Neural Theorem Proving on Knowledge Bases and Natural Language

Export

PDF Details, abstract & AI summary Word (.docx) Editable document One-slide summary Image or PDF for presentations

Papers open inside SciRah from the original publisher or repository; SciRah never hosts them.

Abstract

No abstract is available from our sources. Use “Read paper” to view it.

Plain-language summary

Discussion

Topics

Logic, Reasoning, and Knowledge Topic Modeling Mathematics, Computing, and Information Processing

Identifiers

OpenAlex: W2911772404

Metadata from OpenAlex.