cff-version: 1.2.0
message: "If you use QWED in your research or software, please cite it as below."
authors:
- family-names: "Dass"
  given-names: "Rahul"
  orcid: "https://orcid.org/0009-0000-2088-7487"
title: "QWED Protocol: Deterministic Verification for Large Language Models"
version: 1.0.1
doi: 10.5281/zenodo.18075235
date-released: 2025-12-28
url: "https://github.com/QWED-AI/qwed-verification"
license: Apache-2.0
repository-code: "https://github.com/QWED-AI/qwed-verification"
keywords:
  - ai-verification
  - llm-safety
  - formal-verification
  - hallucination-detection
  - sympy
  - z3-prover
preferred-citation:
  type: misc
  authors:
  - family-names: "Dass"
    given-names: "Rahul"
    orcid: "https://orcid.org/0009-0000-2088-7487"
  doi: "10.5281/zenodo.18075235"
  title: "QWED Protocol: Deterministic Verification for Large Language Models"
  year: 2025
  publisher: "QWED-AI"
  url: "https://doi.org/10.5281/zenodo.18075235"
