Deductive Verification of LLM generated SPARQL queries
- 2024
- LREC-COLING 2024
Guilherme Lima is a Research Scientist at IBM Research. He received a PhD in computer science from PUC-Rio (Brazil) in 2015 working on formal methods applied to multimedia systems. In 2018, he did a post-doc at University of Stuttgart (Germany) working on fault-tolerance in distributed complex event processing systems. He joined IBM Research in 2019 and his current research interests are in computational logic, knowledge graphs, and knowledge representation and reasoning in general.