{"schemaVersion":1,"target":{"type":"reading","id":"e237e767bbb29254a64b221726896297e695c0aec98c7503c7f595a7dcc7564f","revision":"133ea172-b660-40e0-80e9-71d5375e7dfb","revisionKind":"publication-id","title":"Improving Analytic Constants via Interpretable AI-Guided Lean Proof Refinement","url":"https://escapemeridian.com/readings/improving-analytic-constants-via-interpretable-ai-guided-lean-e237e767"},"source":{"type":"source","id":"https://arxiv.org/abs/2611.10961","revision":"ac8cd32af6b3e4638d97f846acb5f95efac9feba882eb245e0b6a7cc901ecf39","revisionKind":"sha256-source-text","title":"Improving Analytic Constants via Interpretable AI-Guided Lean Proof Refinement","url":"https://arxiv.org/abs/2611.10961"},"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."}