Publications

23 results for Guilherme Augusto Ferreira Lima

KIF-QA: Using Off-the-shelf LLMs to Answer Simple Questions over Heterogeneous Knowledge Bases
- - Marcelo Machado
  - João Pedro Porto Campos
  - et al.
- 2025
- ISWC 2025
Workshop paper
Study planning assistant: Supporting material discovery with agentic workflows
- - Viviane T. Silva
  - Renato Fontoura de Gusmao Cerqueira
  - et al.
- 2025
- ACS Spring 2025
Poster
ULKB Logic: A HOL-based Framework for Reasoning over Knowledge Graphs
- - Guilherme Lima
  - Alexandre Rademaker
  - et al.
- 2025
- Science of Computer Programming
Paper
LLM Store: Leveraging Large Language Models as Sources of Wikidata-Structured Knowledge
- - Marcelo Machado
  - João Marcello Bessa Rodrigues
  - et al.
- 2024
- ISWC 2024
Workshop paper
LLM Store: A KIF Plugin for Wikidata-Based Knowledge Base Completion via LLMs
- - Marcelo Machado
  - João Marcello Bessa Rodrigues
  - et al.
- 2024
- ISWC 2024
Workshop paper
Deductive Verification of LLM generated SPARQL queries
- - Alexandre Rademaker
  - Guilherme Augusto Ferreira Lima
  - et al.
- 2024
- LREC-COLING 2024
Workshop paper
Integrating ADME-Tox properties of PFAS described in public and private knowledge bases using Wikidata
- - Guilherme Augusto Ferreira Lima
  - Marcelo Machado
  - et al.
- 2024
- ACS Spring 2024
Talk
Extracting higher-order logic formulas from English sentences
- - Alexandre Rademaker
  - Guilherme Augusto Ferreira Lima
  - et al.
- 2023
- ICNLSP 2023
Conference paper
ULKB Logic: A HOL-based framework for reasoning over knowledge graphs
- - Guilherme Augusto Ferreira Lima
  - Alexandre Rademaker
  - et al.
- 2023
- SBMF 2023
Conference paper
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- - Achille Fokoue
  - Ibrahim Abdelaziz
  - et al.
- 2023
- IJCAI 2023
Conference paper