{"schemaVersion":1,"target":{"type":"reading","id":"45db743e4344904c0191dcaeaee0772a0311b3c16d34ec3e2a63026c84cbdab7","revision":"435d9f2b-3842-45b5-8ec6-2208bd8f0b13","revisionKind":"publication-id","title":"Authors propose LinguaArray, an LLM-guided method for quantified array SMT solving","url":"https://escapemeridian.com/readings/authors-propose-linguaarray-an-llm-guided-method-for-quantified-45db743e"},"source":{"type":"source","id":"https://arxiv.org/abs/2610.39435","revision":"0589498dc19a906619d4e728c9b171c07d2f25e257c2fd3bcdab3905086dfc69","revisionKind":"sha256-source-text","title":"Verifiable LLM-Guided Focal SMT Solving for Quantified Arrays","url":"https://arxiv.org/abs/2610.39435"},"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."}