91 citations · 275 across the 9 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018★ 16 cited
Towards Neural Theorem Proving at Scale
Pasquale Minervini, Matko Bosnjak, Tim Rocktäschel +1
Neural models combining representation learning and reasoning in an end-to-end trainable manner are receiving increasing interest. However, their use is severely limited by their c…
cs.CL2018
Jack the Reader - A Machine Reading Framework
Dirk Weissenborn, Pasquale Minervini, Tim Dettmers +8
Many Machine Reading and Natural Language Understanding tasks require reading supporting text in order to answer questions. For example, in Question Answering, the supporting text…