Achille Fokoue
- Improving Natural Language Inference Using External Knowledge in the Science Questions Domain
2018/09/15 by Xiaoyan Wang, Pavan Kapanipathi, Wang, Xiaoyan +19 · 3 citations
Computer Science · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Topic Modeling
- Leveraging Abstract Meaning Representation for Knowledge Base Question Answering
2020/12/03 by Pavan Kapanipathi, Ibrahim Abdelaziz, Kapanipathi, Pavan +57 · 3 citations
Computer Science · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Topic Modeling
- Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description
2022/09/15 by Ruixuan Yan, Yan, Ruixuan, Tengfei Ma +7 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Neural Networks and Applications #Time Series Analysis and Forecasting
- Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
2019/11/15 by Maxwell Crouse, Ibrahim Abdelaziz, Crouse, Maxwell +11 · 2 citations
Computer Science · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Graph Theory and Algorithms #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Semantic Web and Ontologies #Symbolic Computation (cs.SC)
- A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases
2022/01/15 by Sumit Neelam, Udit Sharma, Neelam, Sumit +47 · 2 citations
Computer Science · #Topic Modeling #Natural Language Processing Techniques #Semantic Web and Ontologies
- An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
2023/05/15 by Achille Fokoue, Ibrahim Abdelaziz, Fokoue, Achille +13 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Semantic Web and Ontologies #Topic Modeling
- MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types
2023/06/18 by Keerthiram Murugesan, Sarathkrishna Swaminathan, Murugesan, Keerthiram +21 · 1 citation
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Text Readability and Simplification #Topic Modeling
- Few-shot Policy (de)composition in Conversational Question Answering
2025/01/20 by Kyle Erwin, Guy Axelrod, Erwin, Kyle +19 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Speech and dialogue systems #Topic Modeling
- An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic
2020/02/02 by Ibrahim Abdelaziz, Veronika Thost, Abdelaziz, Ibrahim +5 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning (cs.LG) #Natural Language Processing Techniques #Software Engineering Research
- Answering Science Exam Questions Using Query Rewriting with Background Knowledge
2018/09/15 by Ryan Musa, Musa, Ryan, Xiaoyan Wang +15 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Intelligent Tutoring Systems and Adaptive Learning #Natural Language Processing Techniques #Topic Modeling