Alert button
Picture for Achille Fokoue

Achille Fokoue

Alert button

Formally Specifying the High-Level Behavior of LLM-Based Agents

Oct 12, 2023
Maxwell Crouse, Ibrahim Abdelaziz, Kinjal Basu, Soham Dan, Sadhana Kumaravel, Achille Fokoue, Pavan Kapanipathi, Luis Lastras

Figure 1 for Formally Specifying the High-Level Behavior of LLM-Based Agents
Figure 2 for Formally Specifying the High-Level Behavior of LLM-Based Agents
Figure 3 for Formally Specifying the High-Level Behavior of LLM-Based Agents
Figure 4 for Formally Specifying the High-Level Behavior of LLM-Based Agents
Viaarxiv icon

Learning Symbolic Rules over Abstract Meaning Representations for Textual Reinforcement Learning

Jul 05, 2023
Subhajit Chaudhury, Sarathkrishna Swaminathan, Daiki Kimura, Prithviraj Sen, Keerthiram Murugesan, Rosario Uceda-Sosa, Michiaki Tatsubori, Achille Fokoue, Pavan Kapanipathi, Asim Munawar, Alexander Gray

Figure 1 for Learning Symbolic Rules over Abstract Meaning Representations for Textual Reinforcement Learning
Figure 2 for Learning Symbolic Rules over Abstract Meaning Representations for Textual Reinforcement Learning
Figure 3 for Learning Symbolic Rules over Abstract Meaning Representations for Textual Reinforcement Learning
Figure 4 for Learning Symbolic Rules over Abstract Meaning Representations for Textual Reinforcement Learning
Viaarxiv icon

MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types

Jun 18, 2023
Keerthiram Murugesan, Sarathkrishna Swaminathan, Soham Dan, Subhajit Chaudhury, Chulaka Gunasekara, Maxwell Crouse, Diwakar Mahajan, Ibrahim Abdelaziz, Achille Fokoue, Pavan Kapanipathi, Salim Roukos, Alexander Gray

Figure 1 for MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types
Figure 2 for MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types
Figure 3 for MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types
Figure 4 for MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types
Viaarxiv icon

An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations

May 15, 2023
Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Akihiro Kishimoto, Guilherme Lima, Ndivhuwo Makondo, Radu Marinescu

Figure 1 for An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Figure 2 for An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Figure 3 for An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Figure 4 for An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Viaarxiv icon

Laziness Is a Virtue When It Comes to Compositionality in Neural Semantic Parsing

May 07, 2023
Maxwell Crouse, Pavan Kapanipathi, Subhajit Chaudhury, Tahira Naseem, Ramon Astudillo, Achille Fokoue, Tim Klinger

Figure 1 for Laziness Is a Virtue When It Comes to Compositionality in Neural Semantic Parsing
Figure 2 for Laziness Is a Virtue When It Comes to Compositionality in Neural Semantic Parsing
Figure 3 for Laziness Is a Virtue When It Comes to Compositionality in Neural Semantic Parsing
Figure 4 for Laziness Is a Virtue When It Comes to Compositionality in Neural Semantic Parsing
Viaarxiv icon

Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description

Sep 15, 2022
Ruixuan Yan, Tengfei Ma, Achille Fokoue, Maria Chang, Agung Julius

Figure 1 for Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description
Figure 2 for Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description
Figure 3 for Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description
Figure 4 for Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description
Viaarxiv icon

Expressive Reasoning Graph Store: A Unified Framework for Managing RDF and Property Graph Databases

Sep 13, 2022
Sumit Neelam, Udit Sharma, Sumit Bhatia, Hima Karanam, Ankita Likhyani, Ibrahim Abdelaziz, Achille Fokoue, L. V. Subramaniam

Figure 1 for Expressive Reasoning Graph Store: A Unified Framework for Managing RDF and Property Graph Databases
Figure 2 for Expressive Reasoning Graph Store: A Unified Framework for Managing RDF and Property Graph Databases
Figure 3 for Expressive Reasoning Graph Store: A Unified Framework for Managing RDF and Property Graph Databases
Figure 4 for Expressive Reasoning Graph Store: A Unified Framework for Managing RDF and Property Graph Databases
Viaarxiv icon

CBR-iKB: A Case-Based Reasoning Approach for Question Answering over Incomplete Knowledge Bases

Apr 18, 2022
Dung Thai, Srinivas Ravishankar, Ibrahim Abdelaziz, Mudit Chaudhary, Nandana Mihindukulasooriya, Tahira Naseem, Rajarshi Das, Pavan Kapanipathi, Achille Fokoue, Andrew McCallum

Figure 1 for CBR-iKB: A Case-Based Reasoning Approach for Question Answering over Incomplete Knowledge Bases
Figure 2 for CBR-iKB: A Case-Based Reasoning Approach for Question Answering over Incomplete Knowledge Bases
Figure 3 for CBR-iKB: A Case-Based Reasoning Approach for Question Answering over Incomplete Knowledge Bases
Figure 4 for CBR-iKB: A Case-Based Reasoning Approach for Question Answering over Incomplete Knowledge Bases
Viaarxiv icon

A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases

Jan 15, 2022
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 Lima, Ryan Riegel, Francois Luus, L Venkata Subramaniam

Figure 1 for A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases
Figure 2 for A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases
Figure 3 for A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases
Figure 4 for A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases
Viaarxiv icon

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

Nov 17, 2021
Srinivas Ravishankar, June Thai, Ibrahim Abdelaziz, Nandana Mihidukulasooriya, Tahira Naseem, Pavan Kapanipathi, Gaetano Rossiello, 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