7 citations · 11 across the 5 of their papers we have counts for
5 papers
MLRegTest: A Benchmark for the Machine Learning of Regular Languages
Sam van der Poel, Dakotah Lambert, Kalina Kostyszyn +9
Synthetic datasets constructed from formal languages allow fine-grained examination of the learning and generalization capabilities of machine learning systems for sequence classif…
Querying Knowledge via Multi-Hop English Questions
Tiantian Gao, Paul Fodor, Michael Kifer
The inherent difficulty of knowledge specification and the lack of trained specialists are some of the key obstacles on the way to making intelligent systems based on the knowledge…
Controlled Natural Languages and Default Reasoning
Tiantian Gao
Controlled natural languages (CNLs) are effective languages for knowledge representation and reasoning. They are designed based on certain natural languages with restricted lexicon…
Knowledge Authoring and Question Answering with KALM
Tiantian Gao
Knowledge representation and reasoning (KRR) is one of the key areas in artificial intelligence (AI) field. It is intended to represent the world knowledge in formal languages (e.g…
Paraconsistency and Word Puzzles
Tiantian Gao, Paul Fodor, Michael Kifer
Word puzzles and the problem of their representations in logic languages have received considerable attention in the last decade (Ponnuru et al. 2004; Shapiro 2011; Baral and Dzifc…