84 citations · 97 across the 7 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.CL2021★ 4 cited
SYGMA: System for Generalizable Modular Question Answering OverKnowledge Bases
Sumit Neelam, Udit Sharma, Hima Karanam +21
Knowledge Base Question Answering (KBQA) tasks that in-volve complex reasoning are emerging as an important re-search direction. However, most KBQA systems struggle withgeneralizab…
cs.AI2021
Learning to Guide a Saturation-Based Theorem Prover
Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni +8
Traditional automated theorem provers have relied on manually tuned heuristics to guide how they perform proof search. Recently, however, there has been a surge of interest in the…