{"as_of":"2026-08-09T15:07:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:60c06ead3435dfe4b20aa0e2d384215206f74131780ad73035c58edd75b0ce41","coverage":[{"denominator":110,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-13T02:40:34.279112Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.09489/citation-record","integrity":"/paper/2607.09489/integrity","json":"/paper/2607.09489/citation-record.json","paper":"/paper/2607.09489"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"An introduction to inductive definitions","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:a39aceb69fa41b0fb854bace35b4676e65fc31adcffc5ab46717216be6b13676","observation_id":"104ae1be-2a11-46c5-b065-114114dea504","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2109.10317","last_updated":"2021-10-04T18:38:55Z","snapshot_observed_at":"2026-07-06T11:49:58.350862Z","submitted_at":"2021-09-21T16:57:01Z","title":"Introduction to Neural Network Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.10317","snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Introduction to neural network verification, 2021.https://arxiv.org/abs/2109.10317","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"cited_paper":"/paper/2109.10317","citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:a2fa445b8327b5c9cde97b7d419aaaec6d1f57362f19663ac54e8b15e5ab0bfe","observation_id":"a6617323-bef7-4628-86d4-dbd5c4f2fb2f","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Alchourrón, Peter Gärdenfors, and David Makinson","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:b9a218aefda5f9fbe7b20b1047996dad33f7d6dd458ebaedaf1d29073d0d466f","observation_id":"fc451f86-bc5b-450c-93e8-2f04f8ea092a","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Herding cats: Modelling, simulation, testing, and data mining for weak memory","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:9d62779b476ad060ba4e87373fcaf91b545d0e65e20fe7f9458c68382c53e52d","observation_id":"976631fd-4a9e-4ec9-beeb-3af61a1c32c5","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, and Paulo Tabuada","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:fa789bbac4f468382d851bcb5bb898bbf1f467d0d9bcd2f6211ad5b80b8f4890","observation_id":"4dd7d3db-1585-4a11-8860-18aec93a7855","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Model Context Protocol.https://modelcontextprotocol.io/, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:f21399c0cdeab49f9e145e8c9df169febcb7a001647d75b61b2cf8e668668868","observation_id":"474826ff-5c1a-4c80-a121-960c7bb1aed5","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:056dc849ab76de1c081f353675046b6d1f767ad7af84465bd9641f8bc44d4f8a","observation_id":"951b2e03-689c-4632-ab55-7b3191980d05","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Artemov and Melvin Fitting.JustificationLogic:ReasoningwithReasons, volume 216 ofCambridgeTracts in Mathematics","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:937ca9b634f088b4212a6332a42c95bbb332c0fc0797a6d38cf9b774c305282d","observation_id":"f9300498-f06e-4387-a0b2-706364ec44c2","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.11511","last_updated":"2023-10-17T18:18:32Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-10-17T18:18:32Z","title":"Self-RAG: Learning to Retrieve, Generate, and Critique through Self-Reflection","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.11511","snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Self-RAG: Learning to retrieve, generate, and critique through self-reflection, 2023.https://arxiv.org/abs/2310.11511","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"cited_paper":"/paper/2310.11511","citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:97ee5e9af37bd8d7d2cec19187f8871f7dc1b7febee7019207881cd5212f407e","observation_id":"cca4eb2e-0ffd-46c0-974a-75cae34bbf78","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Murray.FeedbackSystems:An Introductionfor ScientistsandEngineers","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:1adc0f32a7920608bfb76615920138932a03d462b21cf467feebb29431846899","observation_id":"96cc0bee-10ba-4a92-ae7b-99827ed8cc78","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"AI agents with formal security guarantees","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:1db6fae8d5eae000ff6eacdeccae25d3a7087ca529fec7047b365e76210c3c52","observation_id":"840461d9-96dc-417c-b7ea-330f975bac8f","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Becker, Cédric Fournet, and Andrew D","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:f68a5820e03e41ec399d91819164c71431633b2d773065d98a8fa2a240feb5bd","observation_id":"b81ebcca-45e9-4fb1-9d5a-01d84f712eb6","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":null,"venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:ee62c330861acf037ccbe8099564dbd8ab6b1aba9e452e5fd015c80bec663e50","observation_id":"11c23969-ca47-4c42-83d1-0f06285a6f72","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Bender, Timnit Gebru, Angelina McMillan-Major, and Shmargaret Shmitchell","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:9a1d3d702c9f927d43d6e17ebf09a1ca90fbc0d3c00301d4abc4771178e97375","observation_id":"ffdadabc-be69-49df-9f2b-a671d4fc9565","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Bender and Alexander Koller","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:f05fd8e5aa0c370115a3c72f563110627b0a71bbac5f28eef20bd6f478e1982e","observation_id":"a2631e57-9ce3-4857-9f7b-637ad2569254","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Prompting is programming: A query language for large language models.Proc","venue":null,"work_id":null,"year":1946},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:0f90ddf09695e938a012f94e4962623f3cdc96c738ea78036d5fcd123989d664","observation_id":"1f729b91-26d6-455e-9f78-38e7ae662cd8","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Cambridge University Press, 2001","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:8ae9a13c0921e77ce988cccbabce5141516b1efe8d4ee7fc319b1c55a929e05f","observation_id":"4d4c8958-b5df-4f19-b8fb-2bfa4596a74e","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2212.08037","last_updated":"2023-02-10T20:04:05Z","snapshot_observed_at":"2026-07-06T14:31:07.280398Z","submitted_at":"2022-12-15T18:45:29Z","title":"Attributed Question Answering: Evaluation and Modeling for Attributed Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2212.08037","snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Tran, Pat Verga, Roee Aharoni, Daniel Andor, Livio Baldini Soares, Massimiliano Ciaramita, Jacob Eisenstein, Kuzman Ganchev, Jonathan Herzig, et al","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"cited_paper":"/paper/2212.08037","citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:96aa9b5686800b5dc05bb4e41d3980b9700c3ee3409209ce1fe31f653519ec53","observation_id":"96cb69dd-2d03-4861-b7a5-1f374f952fac","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Why and where: A characterization of data provenance","venue":null,"work_id":null,"year":1973},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:5137eb4ece7c59334e76997234ffeb887f5af9237781d326b83ceed7d121dc71","observation_id":"2fb1d439-5c6e-49c0-8cd6-2f7b4667efff","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Provenance in databases: Why, how, and where.Foundations andTrendsin Databases, 1(4):379–474, 2009","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:ac6bba48200417249e2cc8c5ce1ed6f046962f53cbd9e3b672dc759538807e57","observation_id":"ea89626e-e274-430b-9a82-665464c703e3","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Proof-carrying data and hearsay arguments from signature cards","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:5ee9c1b1aabda6bf0b585a18a9b363d3e4e445dd4d47d4fca274f2009e814871","observation_id":"1492c675-7060-438f-aed0-245ae1b9f2e1","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Three models for the description of language.IRE Trans.Inf","venue":null,"work_id":null,"year":1956},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:4f462c8d96f4170aa7b0be8bde69be91c59599011d00a085e2da7a5a58df68c7","observation_id":"a5ee81fb-85e4-4768-b595-e63697069db1","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:84e52dca5b3c3e43ee638eaaf4d48f3204e48131e4af13d1d58bd9e725e73478","observation_id":"40def527-c483-47ee-8b89-5114f1a1ce38","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Securing AI agents with information-flow control, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:2de855d067f90b46059b4b35618bfe0d51ca613a0bccea9fb6395084f43bb0f9","observation_id":"58a6d2c6-72da-4ca2-afd5-4c50ab2aa101","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:111f974e3cd963f9e7062f3f54b9f0ff23e3ddbd3edc026e1a401db38d28ce30","observation_id":"a800b421-489d-4d15-8238-b90ed025e27a","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Systematic design of program analysis frameworks","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:ed703b67de9c1794948ae212b6cffbaf1fa5c305be416da79304c5dda8257791","observation_id":"3555c868-fd71-4f3c-9e81-d35957010042","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.08535","last_updated":"2024-01-24T06:07:20Z","snapshot_observed_at":"2026-07-06T16:32:07.186600Z","submitted_at":"2023-10-12T17:24:15Z","title":"Formally Specifying the High-Level Behavior of LLM-Based Agents","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.08535","snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Forbus, and Achille Fokoue","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"cited_paper":"/paper/2310.08535","citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:c32de4648af0a0e47d97c4edce280dafd4a392a4be2034734562df8572b9c989","observation_id":"2b3c5369-8cc4-4103-bc95-130bdf7cadf2","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"The ponder policy specification language","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:52657cd462ee418b2623c32dbfd4440b153ae9c78fc64f6bb0717a676899abad","observation_id":"87ab6078-593d-4031-98b8-cddcd91deac2","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"An assumption-based TMS.ArtificialIntelligence, 28(2):127–162, 1986","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:f0e21efdbb6053f26bc3234dd4b90a9546d4d1b55f4dfc1c1d0630e7e9ad5922","observation_id":"48f6cdbb-6905-44ec-915d-71994f62e36c","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Defeating prompt injections by design, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:16eb012ce53e0fc577bc8a037f137d284492e46b3f9c2fde0104f5d41bb83798","observation_id":"5655e0b2-06f6-4a6f-bb36-425dcfea2465","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Binder, a logic-based security language","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:9b72ae555c5046e5e9d52a742e05619d1b7d42910fe52bf13009a3a3326e252f","observation_id":"d6af042c-63b8-43cc-8d4e-ad940ceb8d58","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"A truth maintenance system.ArtificialIntelligence, 12(3):231–272, 1979","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:b65f44f1f40951057d6ba13aa289a7416269bb114bd62ba84dec552df1cac4a9","observation_id":"c01bcadb-225d-4438-af3a-08617051195b","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"coupled trees","venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:568f91e3ae0bff2a6578be91388482d9d2dbf44f354088f4640abf91356628f2","observation_id":"d3f8e266-7d26-4c80-822a-7e777246c961","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.15217","last_updated":"2025-04-28T05:09:12Z","snapshot_observed_at":"2026-08-05T02:02:34.574070Z","submitted_at":"2023-09-26T19:23:54Z","title":"Ragas: Automated Evaluation of Retrieval Augmented Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.15217","snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"RAGAS: Automated evaluation of retrieval augmented generation, 2023.https://arxiv.org/abs/2309.15217","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"cited_paper":"/paper/2309.15217","citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:209684ef085ac38f398c9f93fb1e218a76ca41d3df2c1b29408ae0c7a6b3662d","observation_id":"dc130d07-74f5-401b-94d9-89f2ee8492d8","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"AgentVerify: Compositional formal verification of AI agent safety properties via LTL model checking","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:867711c4cec6175abbc00f2fff0a0d9f194fdf709be6bfc2fe67de1044f97447","observation_id":"0d8200fe-c2d1-4039-bb45-cc616a892f10","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Flandre, Alexander C","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:a0454e8a84f8d34a338e80ab073e5915cbdc4e8c90cfc36a50cfbe5337cd34e1","observation_id":"237aa727-37a7-4c72-9bae-6ea395eea9a5","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Über sinn und bedeutung.Zeitschriftfür PhilosophieundphilosophischeKritik, 100:25–50, 1892","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:5f85e8f68a939ad5ad3b716d35ea653c033a6b3f4eb2b6845944af6ea7883353","observation_id":"4a249a0f-8172-4b3b-9fdc-45629ef86b4a","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":null,"venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:e1e422c6bb3287bbce7dc580a3c3be40f4afc56c98fc3db1c70ba72fb460ccf5","observation_id":"2f095c75-9875-4353-9b11-c59c748102cf","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2211.10435","last_updated":"2023-01-27T15:30:27Z","snapshot_observed_at":"2026-08-07T01:22:26.004756Z","submitted_at":"2022-11-18T18:56:13Z","title":"PAL: Program-aided Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.10435","snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"PAL: Program-aided language models, 2022.https://arxiv.org/abs/2211.10435","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"cited_paper":"/paper/2211.10435","citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:dc11e217226018e339a50661c982c9e702d847a21bd624bca87e4f04aba9e1b0","observation_id":"aab6ad99-0bcb-4fec-91b0-156dc4a3d6ed","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.14627","last_updated":"2023-10-31T15:04:35Z","snapshot_observed_at":"2026-08-07T16:43:54.797998Z","submitted_at":"2023-05-24T01:53:49Z","title":"Enabling Large Language Models to Generate Text with Citations","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.14627","snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Enabling large language models to generate text with citations","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"cited_paper":"/paper/2305.14627","citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:03e2367481784673519e592af3e1e8e20c82f6056aa508de113e4145e7e8d820","observation_id":"a96f4e37-738e-432f-9ec9-db29240a38fa","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Policy auditing over incomplete logs: Theory, implementation and applications","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:52c790f7909c9131f34e2f88bf68435bd7105258852921751966611fd0339ae9","observation_id":"6cd5ee2a-3c20-40c6-882d-b29001fa537a","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2603.29088","last_updated":"2026-04-14T22:21:17Z","snapshot_observed_at":"2026-07-06T22:51:13.690351Z","submitted_at":"2026-03-31T00:06:44Z","title":"WybeCoder: Verified Imperative Code Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2603.29088","snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Holden, Gabriel Synnaeve, and Peter O’Hearn","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"cited_paper":"/paper/2603.29088","citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:246d275035dfb0d3973dd8237cd73145ff06e9c1a1a2c67e97cff1085b6929f4","observation_id":"6e532da2-b422-4787-b325-5d93ccdebd8f","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"SAIL: Sound abstract interpreters with LLMs.Proceedingsof the ACM on Programming Languages, 10(PLDI), 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:0470e22dbd46cba044691f8e6bebc3b717db374c020a2fc0ab4b8b26440d9904","observation_id":"c653f412-07f7-4f26-a5f0-aa457da00658","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Sharma, and Ben Zorn","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:ec0ce6b8aa7c60ba082e35b91f35adf12efa635b7e64994f38dc0e03c20c5789","observation_id":"e9fbc882-ae20-43cf-904a-2934c89a2336","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Halpern and Riccardo Pucella","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:7c66098b3481f10ce1d4a519ddcf6d971ea7f8a1261cc097708171ef7f308bd0","observation_id":"db17105a-08c0-40d8-bb8d-7b19dd77b604","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Cambridge University Press, 1928","venue":null,"work_id":null,"year":1928},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:03e9171f3b98fbeed707589d933ac0b476b91411bc543fe2962a612cfda1e53f","observation_id":"a0c46362-5399-45de-ab40-29b3d268fe43","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Hobbs, Mark L","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:893d305d50c801d19b954bfcf3a47bdccb0e628e411ca1796a4a1aa899e3bd94","observation_id":"3ae9a58e-a575-4011-8bb3-9fbe177b58b0","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Springer, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:b620c02cbaa72462cece00e4dbff6cd02e62e1cbb8831f1bc98b05e3f7486aae","observation_id":"59319fa5-c671-41bb-803d-7d6325719601","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Survey of hallucination in natural language generation.ACM ComputingSurveys, 55(12):1–38, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:4dd0e8ab1f534f2ce5720265670de95c6a16eddf3bf4a311d4a499486720ea44","observation_id":"100aec6b-6df3-435f-94ff-f7b0c8c5a38b","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.06770","last_updated":"2024-11-11T23:05:04Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-10-10T16:47:29Z","title":"SWE-bench: Can Language Models Resolve Real-World GitHub Issues?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.06770","snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, and Karthik Narasimhan","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"cited_paper":"/paper/2310.06770","citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:da7ed67cbc377beaf2d9b8e21d79904589b3d2d7a93adef7b0651c78ab39d517","observation_id":"f7a23989-c59f-40bc-97e6-43fa9b0a8406","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Littman, and Anthony R","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:7c90ecc6c3d4509845a892f955a6e458349888e5da20dc002cb8abf4f416a6cf","observation_id":"c3fecefa-fb03-4675-93c4-7a55ac849bbc","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Runtime compliance verification for AI agents, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:144941f2b5039b868d9754eb269e317d60c0bd9953b05e54f2c5317f34a1a0cc","observation_id":"d4a2ad43-0c98-4740-a582-4ef8303e33d0","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":null,"venue":null,"work_id":null,"year":1960},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:44e4af6b4ef2ead0fd7283233b7fccc98ac60db8c7f5d91e2a904b0ab2f1895e","observation_id":"8b10aa04-7dcf-4d77-b17b-3c7362780b08","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Devanbu, and Caleb Stanford","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:b1d165eb6f72b4dd965eaf4d287ba5b8c40e6e9b9825491301bd37e666dfdb97","observation_id":"47bbcda4-f0f0-4941-887b-11bbec6b88dc","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2205.00445","last_updated":"2022-05-01T11:01:28Z","snapshot_observed_at":"2026-08-07T07:47:07.886786Z","submitted_at":"2022-05-01T11:01:28Z","title":"MRKL Systems: A modular, neuro-symbolic architecture that combines large language models, external knowledge sources and discrete reasoning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.00445","snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"MRKL systems: A modular, neuro-symbolic architecture that combines large language models, external knowledge sources and discrete reasoning, 2022.https://arxiv.org/abs/2205.00445","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"cited_paper":"/paper/2205.00445","citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:bbfc399c22bb502355dd329a92eed192a3cbc9b0538287f376d502d4bedfc9da","observation_id":"11208c6c-e3dd-4e21-9b4d-075b71509e1a","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"AgentGuard: Runtime verification of AI agents, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:e1f6c47202cfcc9f8101d91cca5831009aa6a1425baeeb53af9586d09decdf48","observation_id":"d908eda4-885f-4f9d-bfe2-db05a2c164f7","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:62125a7ac90904ff298cdc1c7dd8f0b9fa685102c48734251209f680678e1693","observation_id":"ddb064c0-39a2-4b35-b5b8-66cd12e54fd1","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:aa807229d0332f8273f8ecf453643d6e7fd12bf867f89dbd1674eb8bc7c41204","observation_id":"011620ec-6bfe-412d-b404-43f0553b3ab1","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"A brief account of runtime verification.Journalof Logic andAlgebraic Programming, 78(5):293–303, 2009","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:c10b679d6b61de55bcb1bf117bd861ef40ae4cbf2dea07c846a78d621d27e54e","observation_id":"11fea493-54ea-49cc-9327-e31a8dfe966a","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Retrieval-augmented generation for knowledge-intensive NLP tasks","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:e7a46324685fe1861cc39baa626184793903e04460e3d7092ba5cff211257961","observation_id":"0106b4d0-0054-4d5a-a850-f3dbe3669964","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Agent harness engineering: A survey, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:458022c12d3f470919d08c7a930d9e3b78d3be6c5308f6276286ea6b5189c18f","observation_id":"291fdc17-d871-49ba-a0a0-293f4dc7c609","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2304.08244","last_updated":"2023-10-25T06:54:12Z","snapshot_observed_at":"2026-08-02T00:07:12.855748Z","submitted_at":"2023-04-14T14:05:32Z","title":"API-Bank: A Comprehensive Benchmark for Tool-Augmented LLMs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.08244","snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"API-Bank: A benchmark for tool-augmented LLMs, 2023.https://arxiv.org/abs/2304.08244","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"cited_paper":"/paper/2304.08244","citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:8def7c7fc038bd21384df3f3729dfc1075854fec8c56c22d070391d695552591","observation_id":"1db43143-b52d-451f-9bf6-74d1f40a6b1d","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Liang, Melissa Lin, Nikitha Rao, and Brad A","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:d14bedb712fadeaf1c4c6e4b34d32f4cf3cd5db903875456af53d2453af36d85","observation_id":"de41333d-4e5c-4b31-aeea-6d30ce42089c","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Edit automata: Enforcement mechanisms for run-time security policies","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:c9b16056b97b327bcf3743e4045649e11dfff704c85d3621bb8fdbd378e26a97","observation_id":"6e065229-a67e-47e5-9375-11ba89d54e15","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.03688","last_updated":"2025-10-04T03:54:18Z","snapshot_observed_at":"2026-08-06T20:36:41.418114Z","submitted_at":"2023-08-07T16:08:11Z","title":"AgentBench: Evaluating LLMs as Agents","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.03688","snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"AgentBench: Evaluating LLMs as agents, 2023.https://arxiv","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"cited_paper":"/paper/2308.03688","citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:7576787cb84e134642cff352f42b27b99c0e8d53e2d405b086e1ddfbd3517e8b","observation_id":"ac3e149d-f2b5-459f-95ba-7d4c0fc6b2d3","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"McConnell, Kurt Mehlhorn, Stefan Näher, and Pascal Schweitzer","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:5e2eafe36b6cb0eb1dcaf7d18d61c16aaeecd505e9ac6d0663564ff425828cda","observation_id":"233a3166-f110-49fc-8592-ee5b2e68bce4","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"PROV-DM: The PROV data model","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:b150ec0b4403433815ab02f4ffadbc8c70fb2d6047a1fb0e2f13c40880469270","observation_id":"d9e6ccab-9ff6-43e4-9b2e-9083bd552d5a","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:e860661428891076f44dd682c9e91a86b0cd0c5ced83ac154ee011dfe17b1f3e","observation_id":"1f63542b-3322-420d-b379-a18df572fce4","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"eXtensible Access Control Markup Language (XACML) version 3.0","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:7075b743f742d7f8bdd54947c5e1072ee3df8ca54eadeb5c8e233ce008feac02","observation_id":"6169b4ad-3637-4cac-8ac1-12e0e488c2a2","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Abstract interpretation-based feature im- portance for support vector machines","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:5c91cef38a85c2d050f3ec0a390d6e30f214fc9408cf17d6d04975d1bc336115","observation_id":"44fbfb23-254b-4bfd-9263-607f1b25495f","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.15334","last_updated":"2023-05-24T16:48:11Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-05-24T16:48:11Z","title":"Gorilla: Large Language Model Connected with Massive APIs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.15334","snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Patil, Tianjun Zhang, Xin Wang, and Joseph E","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"cited_paper":"/paper/2305.15334","citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:b85152c9b24a873c2c77f168cca05c568341e2cebe111255133a5cc63ab48ee9","observation_id":"9fb60b23-bfb7-4e55-8506-67ed5a07d6b5","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Harvard University Press, Cambridge, MA, 1931–1935","venue":null,"work_id":null,"year":1931},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:6ec584e0a1bccde5940ffb9586549cd2462c54d6ccc5ad0183c2f7176997ae55","observation_id":"8bd941a6-13c2-4f7f-b0d5-0af5447bf346","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Acar, James Cheney, and Paul Blain Levy","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:9368e1a9cad13bf876c306e3678d9a41498a64a0d0a558142108b881b8294335","observation_id":"f0c90c2a-7b73-484e-9b51-e5d23bab1dba","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:18db7eea43bdf6b36962909bf8534e51748cbedbdcbed4aa280c0858861e028d","observation_id":"2aec6edb-f72e-4bfe-8efe-272cd5c7b6fe","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Propagation of interval belief structures and imprecise copulas for neural network verification, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:b7d14cdd13ed94692ee71e74ff5997cde7374f4c9335e64d26d35c8eef7b5774","observation_id":"7ee8642d-b86f-4f4b-93e0-b6b53c3bf675","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Springer, 1989","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:42dd9491d89abe7f1ae6a706f6c97dffc520f284ba84f03e01ea58b344ac21a2","observation_id":"18232350-4d28-4326-bea8-5a17bcb634d8","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Reflections on random kitchen sinks","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:b8fe0ecd64b22d6ad1aa247d21927dc56f22fbb48ee8eaaf7a7c6f66c257daab","observation_id":"d655422d-01e3-4b75-8c14-86ed215907b3","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Ramadge and W","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:2dc7c76d08c06df35f46b7411623e0306bd3609ff832f4699cceb67e0a6d4463","observation_id":"e12a3075-e113-447f-b14e-c8be8dedc69b","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Measuring attribution in natural language generation models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:bc8a40bb8eed42bb757f62dc4435a586d34511bc31595b25c3c153bd10f33fc6","observation_id":"bcfef914-e3a4-4d72-854f-248d67a13a53","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Rawlings, David Q","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:94f27ec3a3cce42359537ed12ea2b86c3090883e1e3f11461575d92bdb7e3de2","observation_id":"5c24ac10-980c-4a96-b19d-f4dd2b702e52","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Epistemic logic","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:da983b9dbca15a32df8b904998d38d2c4ef90ce40a3e67cbd69a5ab0fca2110e","observation_id":"8eb8a216-a1e0-4157-aea1-e46d5ec04ead","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.15817","last_updated":"2024-05-17T17:17:45Z","snapshot_observed_at":"2026-07-06T16:24:30.545494Z","submitted_at":"2023-09-25T17:08:02Z","title":"Identifying the Risks of LM Agents with an LM-Emulated Sandbox","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.15817","snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Maddison, and Tatsunori Hashimoto","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"cited_paper":"/paper/2309.15817","citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:3bb391e741f81db61b910b82aa1eeb17992efd0f1856bd94366e4e8ea963c4b6","observation_id":"1042f7a9-0502-4042-9bc7-3b55d5e41235","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.04761","last_updated":"2023-02-09T16:49:57Z","snapshot_observed_at":"2026-07-06T14:50:07.491434Z","submitted_at":"2023-02-09T16:49:57Z","title":"Toolformer: Language Models Can Teach Themselves to Use Tools","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.04761","snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Toolformer: Language models can teach themselves to use tools","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"cited_paper":"/paper/2302.04761","citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:3fd4e4fdb8f36ecdce509af115a20141658a6fbb9729fd7b2c439efcdc8e20c4","observation_id":"bcbc8cad-cb27-409c-a807-4b132bb71e9f","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Formal semantics for agentic tool protocols, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:8c71d0a59d0c1b3b89adfb9e86f76816e918a2effbbee51a7db751e7756f1310","observation_id":"f19b0a08-590a-41c5-8c9a-2f5eb96d513f","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Schneider","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:e335eca2eb9d8bc4bdd36f9891975933228fe134e6ab12ead6163de1fdb1d88a","observation_id":"b1d0103b-486f-4545-ba4d-d595eba156e1","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Scott and Christopher Strachey","venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:9e5492b082f831c6eafb35c19cd063487968bf4cd4a030198e137937065d5675","observation_id":"151124f7-e269-4563-b0cd-fa073ac90c4b","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Progent: Securing AI agents with privilege control, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:d730a20d851d605c08ed545905d6d8ba55d83dea9d93f244b2aeafadde6d0157","observation_id":"c41316fa-68bc-4013-ad73-dc12dcfd3b86","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Shoenfield.MathematicalLogic","venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:598ee385da3fd2f5d18f60bdb81fc302717bc3d3ae2c7f5e19cf97981e89ab15","observation_id":"ee4627e9-e320-4025-b27b-e08932816102","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Korth, and S","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:61f8c270a3f2f7635a446f88ba52ecf277cf346298154f17c5e4af4c3c3c48d6","observation_id":"068c4df4-bfa5-4e4b-9ecd-94843bd8c101","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Sontag.MathematicalControlTheory:DeterministicFiniteDimensionalSystems","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:bedeeac32ca578a686f8d1be91986487c1f2691b2c78c88a35945f03de1128e7","observation_id":"5dbc05ce-bcc2-4cf6-aab7-fd744058a2c6","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Fundamental concepts in programming languages.Higher-OrderandSymbolicComputation, 13(1–2):11–49, 2000","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:422d867c0555736368e20f95260e09130e5d0c73d6458baa80790c9dc296fd66","observation_id":"a9f1d303-260b-4bc8-a7cb-5e58042a05f7","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.02427","last_updated":"2024-03-15T15:44:11Z","snapshot_observed_at":"2026-08-03T00:38:27.580701Z","submitted_at":"2023-09-05T17:56:20Z","title":"Cognitive Architectures for Language Agents","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.02427","snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Sumers, Shunyu Yao, Karthik Narasimhan, and Thomas L","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"cited_paper":"/paper/2309.02427","citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:81d21a2f8199bb76b60b110b41289324b142582d2960f7a118bc189f38bfa8bc","observation_id":"7ee40491-5aa3-4080-87d0-c2b3c68f2c19","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"A lattice theoretical fixpoint theorem and its applications.PacificJ","venue":null,"work_id":null,"year":1955},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:d4667ba7690963bb58b121b52d08dec360a8e22e2f8fcbd2c7fc4515ae876ed2","observation_id":"2fe6a6bd-e619-4149-b92a-1b2ba2c9ba5b","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2104.02466","last_updated":"2021-04-21T15:32:51Z","snapshot_observed_at":"2026-08-08T11:46:13.634816Z","submitted_at":"2021-04-06T12:48:17Z","title":"A Review of Formal Methods applied to Machine Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2104.02466","snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"A review of formal methods applied to machine learning.CoRR, abs/2104.02466, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"cited_paper":"/paper/2104.02466","citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:fd73c972ae6fcd5e70b4b2bcf8eec1f335b92a4983a1274c3a4ec24b3b740272","observation_id":"db4b159b-7f6a-45b2-bf4b-1846c6d8266b","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Static analysis by abstract interpretation against data leakage in machine learning.Sci","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:dc8351b6640f79328c1f9f135196634deffe99954bf2d495c37982f79a68e785","observation_id":"a6b7ca8a-1866-4e7a-ab45-d0d562fda72c","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Springer, 2013","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:02d04fa7ca25eba0d06129285ce4a2d7ab86a3ca1a42f1bfa5ad1e2a4ed99c02","observation_id":"f9566a46-5f95-4ff9-b644-5d35abd7d98e","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:eca5c9e70b1f7a0328ae703a12d541442891dea3e98a2ec58d06c51b68666bcc","observation_id":"a2cc9ce6-b383-409a-9f80-e6a735cd50e9","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Poskitt, and Jun Sun","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:331969ee9cdd53d16cea4092fee2fc21371720b957a873f9e820e55d354cf88c","observation_id":"5d4a8c33-e55a-4c27-94b7-074588b97ae8","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.11432","last_updated":"2025-03-02T04:04:03Z","snapshot_observed_at":"2026-08-02T07:33:16.089197Z","submitted_at":"2023-08-22T13:30:37Z","title":"A Survey on Large Language Model based Autonomous Agents","version":7},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.11432","snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"A survey on large language model based autonomous agents, 2023.https://arxiv.org/abs/2308.11432","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"cited_paper":"/paper/2308.11432","citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:c6f5b34022a34971ce867ab0744d0c0fad4e81e0c5e4c9bc515307aecaa2d24d","observation_id":"83a3bf43-e220-446c-91b4-ec15576eae5c","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:40:34.279112Z","title":"Lean4Agent: Formal modeling and verification for agent workflow and trajectory, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-07-13T02:40:34.279112Z"},"links":{"citing_paper":"/paper/2607.09489"},"observation_digest":"sha256:2a5da9a169f0e834a93d0860fb4ca129d6e75eb3a679ae1da00e67f446682804","observation_id":"6861af6b-d183-4c21-b0dc-a1456547d982","resolution":{"observed_at":"2026-07-13T02:40:34.279112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.09489","last_updated":"2026-07-10T15:05:28Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-09T05:50:19.527883Z","submitted_at":"2026-07-10T15:05:28Z","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":100,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":110},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 100 of 110 outbound references and 0 inbound Pith citation observations for arXiv:2607.09489."}