{"schemaVersion":1,"target":{"type":"reading","id":"2233644de444fdb338322e1929c9916fc8b01746cd37e26fd55833a43bbb609d","revision":"ba2790d9-3297-46bd-8d49-1d00aa7828e0","revisionKind":"publication-id","title":"arXiv cs.AI: Lean Proof Stability Under Program Refactoring","url":"https://escapemeridian.com/readings/arxiv-cs-ai-lean-proof-stability-under-program-refactoring-2233644d"},"source":{"type":"source","id":"https://arxiv.org/abs/2610.36328","revision":"4f167237f1901131c603609a88238f3adf463d79d31058e6adeab6a1c5874683","revisionKind":"sha256-source-text","title":"How Stable Are LLM-Generated Proofs Under Program Refactoring? A Stress Test for Verifiable Code Generation","url":"https://arxiv.org/abs/2610.36328"},"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."}