no code implementations • COLING (TextGraphs) 2022 • Liubov Kovriguina, Roman Teucher, Robert Wardenga
Automated theorem proving can benefit a lot from methods employed in natural language processing, knowledge graphs and information retrieval: this non-trivial task combines formal languages understanding, reasoning, similarity search.
1 code implementation • ACL 2022 • Md Rashad Al Hasan Rony, Liubov Kovriguina, Debanjan Chaudhuri, Ricardo Usbeck, Jens Lehmann
Secondly, it should consider the grammatical quality of the generated sentence.
1 code implementation • LREC 2022 • Aleksandr Perevalov, Xi Yan, Liubov Kovriguina, Longquan Jiang, Andreas Both, Ricardo Usbeck
In particular, the latest and most-used datasets in the KGQA community, LC-QuAD and QALD, miss providing central and up-to-date points of trust.