Achille Fokoue

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Veronika Thost

> Home > Persons > Achille Fokoue

Publications

2021
[c50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CrouseAMWCKSTWF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CrouseAMWCKSTWF21
Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni, Spencer Whitehead, Cristina Cornelio, Pavan Kapanipathi, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue:
A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving. AAAI 2021: 6279-6287
2020
[c47]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/KapanipathiTPWA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/KapanipathiTPWA20
Pavan Kapanipathi, Veronika Thost, Siva Sankalp Patel, Spencer Whitehead, Ibrahim Abdelaziz, Avinash Balakrishnan, Maria Chang, Kshitij Fadnis, R. Chulaka Gunasekara, Bassem Makni, Nicholas Mattei, Kartik Talamadupula, Achille Fokoue:
Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks. AAAI 2020: 8074-8081
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2002-00423
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-00423
Ibrahim Abdelaziz, Veronika Thost, Maxwell Crouse, Achille Fokoue:
An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic. CoRR abs/2002.00423 (2020)
2019
[c44]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/semweb/ThostFCR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/ThostFCR19
Veronika Thost, Achille Fokoue, Vittorio Castelli, Salim Roukos:
Links with Answers: Query Answering for Customer Support. ISWC (Satellites) 2019: 109-112
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1911-02060
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-02060
Pavan Kapanipathi, Veronika Thost, Siva Sankalp Patel, Spencer Whitehead, Ibrahim Abdelaziz, Avinash Balakrishnan, Maria Chang, Kshitij Fadnis, R. Chulaka Gunasekara, Bassem Makni, Nicholas Mattei, Kartik Talamadupula, Achille Fokoue:
Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks. CoRR abs/1911.02060 (2019)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1911-02065
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-02065
Maxwell Crouse, Spencer Whitehead, Ibrahim Abdelaziz, Bassem Makni, Cristina Cornelio, Pavan Kapanipathi, Edwin Pell, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue:
A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies. CoRR abs/1911.02065 (2019)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1911-06904
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-06904
Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu, Kenneth D. Forbus, Achille Fokoue:
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling. CoRR abs/1911.06904 (2019)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.