{"schemaVersion":1,"target":{"type":"reading","id":"287979ada77ad0d8dc7b7eefe566f1d73488da355615ab5a94ae8ae331d497c8","revision":"ffb4509f-4fbd-4582-8fe5-4f562715c20f","revisionKind":"publication-id","title":"arXiv: Whiel, a Neurosymbolic Platform for Certified Relational Program Verification","url":"https://escapemeridian.com/readings/arxiv-whiel-a-neurosymbolic-platform-for-certified-relational-287979ad"},"source":{"type":"source","id":"https://arxiv.org/abs/2611.05612","revision":"2f08f0ed80dfaf1e84837aa5c7b032f063d28f0e9eead0fd2e1fa2ed670a0dca","revisionKind":"sha256-source-text","title":"Whiel: A Neurosymbolic Platform for Certified Relational Program Verification","url":"https://arxiv.org/abs/2611.05612"},"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."}