Deductive Verification of LLM generated SPARQL queries
- 2024
- LREC-COLING 2024
Bachelor's at Computer Science from UFRJ (2001), master's at Computer Science from UFF (2005) and doctorate at Computer Science from PUC-Rio (2010). I have experience in Computer Science on the following subjects: description logic, proof theory, ontology, functional programming and category theory.