Deductive Verification of LLM Generated SPARQL Queries

Alexandre Rademaker | Guilherme Lima | Sandro Rama Fiorini | Viviane Torres da Silva |

Paper Details:

Month: May
Year: 2024
Location: Torino, Italia
Venue: DLnLD | WS |