{"schemaVersion":1,"target":{"type":"reading","id":"5ad8db68bd2b8ecd2ccb05c47ce2556905b92af8a1cb492a3a620e9191520619","revision":"fe88a9f2-f60e-47a7-83ef-01ec57d05e05","revisionKind":"publication-id","title":"arXiv cs.AI paper: Secure Formal Raising and AI development security","url":"https://escapemeridian.com/readings/arxiv-cs-ai-paper-secure-formal-raising-and-ai-development-5ad8db68"},"source":{"type":"source","id":"https://arxiv.org/abs/2611.08042","revision":"f3c329de459bdf98af7904d0050e432fae5f796a621dbcaca430d2fee74bd920","revisionKind":"sha256-source-text","title":"Secure Formal Raising: Protecting the Development of AI through Executable Properties","url":"https://arxiv.org/abs/2611.08042"},"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."}