Deductive Verification of LLM generated SPARQL queries
- 2024
- LREC-COLING 2024
Sandro Rama Fiorini is Research Scientist at IBM Research, Rio de Janeiro, Brazil. Sandro received his PhD in Computer Science from the Federal University of Rio Grande do Sul (UFRGS), Brazil, in collaboration with Lund University, Sweden. His research interests include Knowledge Representation and Ontologies applied to Robotics, Geology and Material Design. Sandro was vice-chair of the EDARR Working Group that developed the IEEE 7007 - Ontological Standard for Ethically Driven Robotics and Automation Systems. Sandro has also been one of the key members in the developed of IEEE 1872-2015 and IEEE 7007, both awarded standards on core robotics and robot ethics. Sandro has also been a lecturer at the Pontifical Catholic University of Rio Grande do Sul (PUC-RS) and a postdoc researcher at Universite Paris-Est Creteil, France.