Alert button
Picture for Achille Fokoue

Achille Fokoue

Alert button

A Two-Stage Approach towards Generalization in Knowledge Base Question Answering

Nov 10, 2021
Srinivas Ravishankar, June Thai, Ibrahim Abdelaziz, Nandana Mihidukulasooriya, Tahira Naseem, Pavan Kapanipathi, Gaetano Rossilleo, Achille Fokoue

Figure 1 for A Two-Stage Approach towards Generalization in Knowledge Base Question Answering
Figure 2 for A Two-Stage Approach towards Generalization in Knowledge Base Question Answering
Figure 3 for A Two-Stage Approach towards Generalization in Knowledge Base Question Answering
Figure 4 for A Two-Stage Approach towards Generalization in Knowledge Base Question Answering
Viaarxiv icon

SYGMA: System for Generalizable Modular Question Answering OverKnowledge Bases

Sep 28, 2021
Sumit Neelam, Udit Sharma, Hima Karanam, Shajith Ikbal, Pavan Kapanipathi, Ibrahim Abdelaziz, Nandana Mihindukulasooriya, Young-Suk Lee, Santosh Srivastava, Cezar Pendus, Saswati Dana, Dinesh Garg, Achille Fokoue, G P Shrivatsa Bhargav, Dinesh Khandelwal, Srinivas Ravishankar, Sairam Gurajada, Maria Chang, Rosario Uceda-Sosa, Salim Roukos, Alexander Gray, Guilherme LimaRyan Riegel, Francois Luus, L Venkata Subramaniam

Figure 1 for SYGMA: System for Generalizable Modular Question Answering OverKnowledge Bases
Figure 2 for SYGMA: System for Generalizable Modular Question Answering OverKnowledge Bases
Figure 3 for SYGMA: System for Generalizable Modular Question Answering OverKnowledge Bases
Figure 4 for SYGMA: System for Generalizable Modular Question Answering OverKnowledge Bases
Viaarxiv icon

Learning to Guide a Saturation-Based Theorem Prover

Jun 07, 2021
Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austil, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue

Figure 1 for Learning to Guide a Saturation-Based Theorem Prover
Figure 2 for Learning to Guide a Saturation-Based Theorem Prover
Figure 3 for Learning to Guide a Saturation-Based Theorem Prover
Figure 4 for Learning to Guide a Saturation-Based Theorem Prover
Viaarxiv icon

Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning

Dec 03, 2020
Pavan Kapanipathi, Ibrahim Abdelaziz, Srinivas Ravishankar, Salim Roukos, Alexander Gray, Ramon Astudillo, Maria Chang, Cristina Cornelio, Saswati Dana, Achille Fokoue, Dinesh Garg, Alfio Gliozzo, Sairam Gurajada, Hima Karanam, Naweed Khan, Dinesh Khandelwal, Young-Suk Lee, Yunyao Li, Francois Luus, Ndivhuwo Makondo, Nandana Mihindukulasooriya, Tahira Naseem, Sumit Neelam, Lucian Popa, Revanth Reddy, Ryan Riegel, Gaetano Rossiello, Udit Sharma, G P Shrivatsa Bhargav, Mo Yu

Figure 1 for Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning
Figure 2 for Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning
Figure 3 for Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning
Figure 4 for Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning
Viaarxiv icon

An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic

Feb 02, 2020
Ibrahim Abdelaziz, Veronika Thost, Maxwell Crouse, Achille Fokoue

Figure 1 for An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic
Figure 2 for An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic
Figure 3 for An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic
Figure 4 for An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic
Viaarxiv icon

Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks

Nov 22, 2019
Pavan Kapanipathi, Veronika Thost, Siva Sankalp Patel, Spencer Whitehead, Ibrahim Abdelaziz, Avinash Balakrishnan, Maria Chang, Kshitij Fadnis, Chulaka Gunasekara, Bassem Makni, Nicholas Mattei, Kartik Talamadupula, Achille Fokoue

Figure 1 for Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks
Figure 2 for Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks
Figure 3 for Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks
Figure 4 for Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks
Viaarxiv icon

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling

Nov 15, 2019
Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu, Kenneth Forbus, Achille Fokoue

Figure 1 for Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
Figure 2 for Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
Figure 3 for Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
Figure 4 for Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
Viaarxiv icon

Heuristics for Interpretable Knowledge Graph Contextualization

Nov 05, 2019
Kshitij Fadnis, Kartik Talamadupula, Pavan Kapanipathi, Haque Ishfaq, Salim Roukos, Achille Fokoue

Figure 1 for Heuristics for Interpretable Knowledge Graph Contextualization
Figure 2 for Heuristics for Interpretable Knowledge Graph Contextualization
Figure 3 for Heuristics for Interpretable Knowledge Graph Contextualization
Figure 4 for Heuristics for Interpretable Knowledge Graph Contextualization
Viaarxiv icon

A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies

Nov 05, 2019
Maxwell Crouse, Spencer Whitehead, Ibrahim Abdelaziz, Bassem Makni, Cristina Cornelio, Pavan Kapanipathi, Edwin Pell, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue

Figure 1 for A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies
Figure 2 for A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies
Figure 3 for A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies
Figure 4 for A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies
Viaarxiv icon