{"schemaVersion":1,"target":{"type":"reading","id":"9731cbf749e1e6af14a82b600043642846cac933753b8e1187b5444aac9b41bd","revision":"c59ad8ba-4579-44ae-8e62-e21a376f437e","revisionKind":"publication-id","title":"arXiv cs.AI: Autonomous AI Agents Systematically Diverge From Human Preferences in Proof Formalization","url":"https://escapemeridian.com/readings/arxiv-cs-ai-autonomous-ai-agents-systematically-diverge-from-9731cbf7"},"source":{"type":"source","id":"https://arxiv.org/abs/2611.06995","revision":"08de77d29bf5f33196ddc7cf468dc1402f8d0a928f10bf2658d9e99d6f2d27bd","revisionKind":"sha256-source-text","title":"Autonomous AI Agents Systematically Diverge From Human Preferences in Proof Formalization","url":"https://arxiv.org/abs/2611.06995"},"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."}