An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- Achille Fokoue
- Ibrahim Abdelaziz
- et al.
- 2023
- IJCAI 2023
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.