Guilherme Lima

3 papers · 2022–2024 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Silver 👥 Mega-Team · Squad

Venues

COLING (1) EMNLP (1) IJCAI (1)

Top co-authors

Ibrahim Abdelaziz (2) Achille Fokoue (2) Shajith Ikbal (2) Viviane Torres da Silva (1) Alexander Gray (1) Alexandre Rademaker (1) Rosario Uceda-Sosa (1) Ryan Riegel (1) Akihiro Kishimoto (1) Nandana Mihindukulasooriya (1)

Research topics

Artificial Intelligence (3) Natural Language Processing (2) Applications (2) Core AI (2) Knowledge & Reasoning (1) Machine Learning (1) Reinforcement Learning (1) Core Methods (1) Learning Paradigms (1) Methods (1) Reasoning (1) Representation (1)

Keywords

reinforcement learning (1) transfer learning (1) ensemble learning (1) temporal reasoning (1) semantic representation (1) automated theorem proving (1) hallucination detection (1) multi-hop reasoning (1) modular architecture (1) knowledge base question answering (1) sparql query (1) graph neural network (1) modular system (1) query verification (1) deductive verification (1) name-invariant representation (1)

Papers

Deductive Verification of LLM Generated SPARQL Queries COLING 2024 An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations IJCAI 2023 SYGMA: A System for Generalizable and Modular Question Answering Over Knowledge Bases EMNLP 2022