https://research.ibm.com/publications/deductive-verification-of-llm-generated-sparql-queries
Deductive Verification of LLM generated SPARQL queries for LREC-COLING 2024 - IBM Research
Deductive Verification of LLM generated SPARQL queries for LREC-COLING 2024 by Alexandre Rademaker et al.
deductive verificationibm researchllmgeneratedsparql
https://research-software-directory.org/software/4tu-artifact-for-article-extending-deductive-verification-of-sycl-in-vercors-with-sub-groups
Artifact for Article: Extending Deductive Verification of SYCL in VerCors with Sub-groups |...
Artifact for Article: Extending Deductive Verification of SYCL in VerCors with Sub-groups
deductive verificationartifactarticleextendingsycl