{"schemaVersion":1,"target":{"type":"reading","id":"7210c74cd55fb49b9e508ad3ec59d0f8773120906da96a73d684d921abab5a8f","revision":"804d62c6-8316-4c8a-874b-782c618bc497","revisionKind":"publication-id","title":"arXiv paper: Discovering formally verified quantum programs with AI","url":"https://escapemeridian.com/readings/arxiv-paper-discovering-formally-verified-quantum-programs-with-7210c74c"},"source":{"type":"source","id":"https://arxiv.org/abs/2611.09822","revision":"4b4ce1172567b7991953724a421d23a62b82a6efd3dc0576b051c862e738ac22","revisionKind":"sha256-source-text","title":"Discovering formally verified quantum programs with AI","url":"https://arxiv.org/abs/2611.09822"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."}