{"schemaVersion":1,"target":{"type":"reading","id":"02b200d02dd5cb664a4007179c1d30f8b04bb4eb48083b184517e89d0fe1b836","revision":"4e3975d2-05d9-4c62-885e-a66f92899bbf","revisionKind":"publication-id","title":"Maji argues that verification does not establish independent agreement between models","url":"https://escapemeridian.com/readings/maji-argues-that-verification-does-not-establish-independent-02b200d0"},"source":{"type":"source","id":"https://arxiv.org/abs/2611.07073","revision":"dd8584fee364c3aff7bce8325d22464f76a52227a38d4c531a2c380353c4328b","revisionKind":"sha256-source-text","title":"When Verification Is Not Agreement: Cross-Agent LLM-to-Dafny Formalization","url":"https://arxiv.org/abs/2611.07073"},"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."}