28 citations · 28 across the 1 of their papers we have counts for
2 papers
cs.CL2018
Think Visually: Question Answering through Virtual Imagery
Ankit Goyal, Jian Wang, Jia Deng
In this paper, we study the problem of geometric reasoning in the context of question-answering. We introduce Dynamic Spatial Memory Network (DSMN), a new deep network architecture…
cs.AI2017★ 28 cited
Premise Selection for Theorem Proving by Deep Graph Embedding
Mingzhe Wang, Yihe Tang, Jian Wang +1
We propose a deep learning-based approach to the problem of premise selection: selecting mathematical statements relevant for proving a given conjecture. We represent a higher-orde…