All datasets / oberst-lab
oberst-lab/verifiable-by-construction
The declared licence (cc-by-4.0) is classified as permissive.
- Declared licence
- cc-by-4.0, from the tagEvidence: README.md at bc04ab2
- Licence files
- No licence file at the top level of the repositoryEvidence: file list at bc04ab2
- Declared sources
- None listed in the card metadata
- Access gated on Hugging Face
- No
Tasks
Citation text from the card
222 synthetic clinical questions, each written from one section of a published cardiometabolic practice guideline. Questions carry the **identifier** of their source section, not its text. The guidelines are copyrighted and cannot be redistributed, so you need your own copy of them. The harness rebuilds the section tree from them, and the labels resolve against that tree. Paper: [arXiv:2609.15964](https://arxiv.org/abs/2609.15964) Code and harness: [github.com/oberst-lab/verifiable-by-construction](https://github.com/oberst-lab/verifiable-by-construction) Jiashuo Zhang, Yuling Chen, Yvonne Commodore-Mensah, Michael Oberst. Verifiable by Construction: Claim-Level Evaluation of Verbatim Citation in Clinical Question Answering. arXiv:2609.15964, 2026.
The same facts for your agent
A free MCP server at mcp.datalicense.uk/mcp. Connect it from an MCP client such as Claude or Cursor.
dataset_licence({ "id": "oberst-lab/verifiable-by-construction" })
signal: "permissive"
stated_licence: "cc-by-4.0"
sources: 0