498 citations · 567 across the 15 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2023★ 9 cited
LEGO-Prover: Neural Theorem Proving with Growing Libraries
Haiming Wang, Huajian Xin, Chuanyang Zheng +11
Despite the success of large language models (LLMs), the task of theorem proving still remains one of the hardest reasoning tasks that is far from being fully solved. Prior methods…
cs.AI2018
The combination of context information to enhance simple question answering
Zhaohui Chao, Lin Li
With the rapid development of knowledge base,question answering based on knowledge base has been a hot research issue. In this paper, we focus on answering singlerelation factoid q…