Articles by Achille Fokoue

Claim page

Achille Fokoue

Activity

Upvotes

Folders

Articles

A System and Benchmark for LLM-based Q&A on Heterogeneous Data

10 September 2024 by Achille Fokoue and others

Databases, Artificial Intelligence

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

24 January 2024 by Maxwell Crouse and others

Artificial Intelligence, Computation and Language

Learning Symbolic Rules over Abstract Meaning Representations for Textual Reinforcement Learning

5 July 2023 by Subhajit Chaudhury and others

Computation and Language

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

18 June 2023 by Keerthiram Murugesan and others

Computation and Language

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

15 May 2023 by Achille Fokoue and others

Artificial Intelligence, Logic in Computer Science

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

7 May 2023 by Maxwell Crouse and others

Computation and Language, Artificial Intelligence

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

15 September 2022 by Ruixuan Yan and others

Machine Learning, Artificial Intelligence

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

13 September 2022 by Sumit Neelam and others

Artificial Intelligence, Databases

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

18 April 2022 by Dung Thai and others

Computation and Language, Artificial Intelligence

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

15 January 2022 by Sumit Neelam and others

Computation and Language, Artificial Intelligence

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

17 November 2021 by Srinivas Ravishankar and others

Computation and Language, Artificial Intelligence

SYGMA: System for Generalizable Modular Question Answering OverKnowledge Bases

28 September 2021 by Sumit Neelam and others

Computation and Language, Artificial Intelligence

Learning to Guide a Saturation-Based Theorem Prover

7 June 2021 by Ibrahim Abdelaziz and others

Artificial Intelligence, Logic in Computer Science

Leveraging Abstract Meaning Representation for Knowledge Base Question Answering

2 June 2021 by Pavan Kapanipathi and others

Computation and Language, Artificial Intelligence

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

15 March 2020 by Ibrahim Abdelaziz and others

Artificial Intelligence, Machine Learning

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

13 February 2020 by Maxwell Crouse and others

Artificial Intelligence, Machine Learning

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling

11 February 2020 by Maxwell Crouse and others

Artificial Intelligence, Machine Learning

Path-Based Contextualization of Knowledge Graphs for Textual Entailment

4 February 2020 by Kshitij Fadnis and others

Artificial Intelligence, Computation and Language

Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks

22 November 2019 by Pavan Kapanipathi and others

Computation and Language, Artificial Intelligence

Answering Science Exam Questions Using Query Rewriting with Background Knowledge

6 April 2019 by Ryan Musa and others

Artificial Intelligence, Computation and Language

High-Fidelity Vector Space Models of Structured Data

15 January 2019 by Maxwell Crouse and others

Artificial Intelligence

Improving Natural Language Inference Using External Knowledge in the Science Questions Domain

20 November 2018 by Xiaoyan Wang and others

Artificial Intelligence, Computation and Language

An effective algorithm for hyperparameter optimization of neural networks

23 May 2017 by Gonzalo Diaz and others

Artificial Intelligence, Machine Learning

A Principled Approach to Bridging the Gap between Graph Data and their Schemas

4 March 2014 by Marcelo Arenas and others

Databases

This is an AI-generated summary

Key points

Topics

Artificial Intelligence Computation and Language Machine Learning Logic in Computer Science Databases Information Retrieval Symbolic Computation Neural and Evolutionary Computing