{"as_of":"2026-08-19T12:17:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:998da89dd7071a99835639a6a1d973c1e00e4075beb5bbe33a6aa9fad9d6b1a3","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-19T06:32:44.657259+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-14T11:45:58.386207Z","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:1d2285fcae8b1d3fbd63920c266d60bf3daf6e15d25cdb75dd4f217d1e238927","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-08-16T17:55:04.076391Z","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-14T11:45:58.386207Z","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:d59a8301447fbba50144aea80e7d5ec2f11ca24337058cbb38f3b8d3834b6593","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-14T11:45:58.386207Z","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:83c63fe121b0f632da6061e370f6fa1199470c985824695fb6849d258779c00a","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-14T11:45:58.386207Z","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:ede3800f5eb3f6b57acec5440841db798035dd2747af10f0a66bdabf67e99e85","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-14T11:45:58.386207Z","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:b31bcc76b6620fbc08daca3dc099a38e2b3e77c3ba34a2cdb676888845c81975","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-14T11:45:58.386207Z","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:a739078a136ffe93bf7f41df035b7f8c4fd96f05c66b3e2899d462e65432beed","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-14T11:45:58.386207Z","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:1e5b2121627fca5ec235eee079dc911f14fd2d3e51d957d7fa339dc4f8d1e1ed","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-14T11:45:58.386207Z","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:9fd420705c50a90a722d60445061749015f66c5d3d28f147c9bd9de06c0a5c43","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-08-12T20:38:07.563701Z","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-14T11:45:58.386207Z","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:03e7eb5ed62e5e1b92def626561634af96a7fa6034c2cd5c552f336ae91577c0","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-14T11:45:58.386207Z","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:a9df4e1a64d4b433535028aae445305afa44bad461abca960e88a94e05aa38b1","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-14T11:45:58.386207Z","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:7f2ce8e4f6189834f9c721cd25d8c2c373be244fd27a56caaa19e8fbf64dd75d","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-14T11:45:58.386207Z","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:00e8390608ba67b1eecd1c6d657830d45f0ef9f3bdb24aba6e5a6652d54cebed","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-14T11:45:58.386207Z","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:9418a84ffedb03445a64a4d3f0ba05fecc38e16009ff527b1b7e5c3f8691fbf5","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-14T11:45:58.386207Z","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:f08ad9cadb0ab07f6394a1869fbd394b096977b7f45582e6095c974ce311a69f","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-14T11:45:58.386207Z","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:3c316fe42fe90a885dd988729f0ca738fda1db66b056246430e7ce775efc6a66","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-14T11:45:58.386207Z","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:f1bc8db8b8a78878861259e9357f65900078b4685410edcf2c949fbf9a6c0ccc","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-14T11:45:58.386207Z","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:59648abd877725d7d81eadb5b4f9ad632f4eb5990f33781e4051ab6187ce6caf","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-08-18T04:00:24.866388Z","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-14T11:45:58.386207Z","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:b9e9c451eb013a3d31b1f76c5ffbf048e1b1c1583f0296c89759fa487a2e075d","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-14T11:45:58.386207Z","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:a6c5a03a1ade47b0163cf08aed2170cbc183b869c360cf8995d2d1db7aae79ea","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-14T11:45:58.386207Z","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:1f535d42ac1d810f544d7ede01edf80ad3dc1b35d54fc469c869821cc2a83b7b","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-14T11:45:58.386207Z","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:1d74ddf3f73c6572f6d1e001b591e3a67ddb9181b4e6f87c0283aa526b05e841","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-14T11:45:58.386207Z","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:dd080d8765988d7d990cf2abfcf8dd28d1973aa0b41863856d71f2ff6528cb0f","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-14T11:45:58.386207Z","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:ea2245d6cf9e48e152031439a7d78a522e493dc1a8a2fa8b1f82cd8be2ee0053","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-14T11:45:58.386207Z","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:8aad5c93dd8732f6c751b66827c253faa6bc8d50e376c6e226ffa0b72a94027e","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-14T11:45:58.386207Z","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:7f220397cb643a4f1dcb6627d26f62b311942f3be7102c1e33d6df043fcc16ae","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-14T11:45:58.386207Z","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:4212d381a7c541f908dc27e16405b3ddb8aac40c8390b617889623b09fb2f94f","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-08-16T14:52:36.051909Z","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-14T11:45:58.386207Z","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:383aa34ec63b58621c3db3630c018eb59aaf15c4cb3cb7d9028f0da1e7e75307","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-14T11:45:58.386207Z","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:f9fb874e739fd2d99e58ea5fdd0d6c85148a0026c19d475cbd360ddeb53699dd","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-14T11:45:58.386207Z","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:77c62c76ebca36aef0b52f13635e9783ebbf07be89e1918368fb6f5c51d61b36","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-14T11:45:58.386207Z","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:1fdf2d5a0af5816bf9232d9fd662e4aa82a6fd2dfed56242a0f8560c02b7e41f","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-14T11:45:58.386207Z","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:e56888565c6f2b21a7adb6c4d7185ec9d5c5f24d563818f132be3b9c7c5bc08e","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-14T11:45:58.386207Z","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:a1bacefd48f9a5437e98440895508c044fdeb24b3fda39dd285e0c3678ba113a","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-14T11:45:58.386207Z","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:f2c6aa9bcc835c12dfd2407ce18c6e5828a64a89027583e56ad413e9917a3f53","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-13T16:22:14.977210Z","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-14T11:45:58.386207Z","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:834a620e6379da952980d2e0aae8b34ca5acd7b15dd4346fa84b9db824248270","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-14T11:45:58.386207Z","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:2d1ee78601dae85ab971bd4f323683b68851fa9bd9eeb5921f05a685a1cf1c05","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-14T11:45:58.386207Z","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:8cde92609517df9c7d13a87b901d4c78c7a18090bfbb758ac3068d4ec1bf1055","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-14T11:45:58.386207Z","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:081210912519ee77dedea84c4813c16a5ac2ef88402394120643f78258495e44","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-14T11:45:58.386207Z","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:00d8873312f597b2890f8b8319b3a3fe6cd063044e3c08d1c931908c45efc65c","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-12T07:50:34.802331Z","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-14T11:45:58.386207Z","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:8809a584d520a295b76128bc49b0afe634ebdfd74a49d1c6a043c51dcedb035a","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-17T02:40:50.509296Z","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-14T11:45:58.386207Z","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:15a89bbfa07fe136ee861809fbe053cc579cf06f912ff911a3d9bede212bce4f","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-14T11:45:58.386207Z","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:aca9409f269d2b0ce8d5613a2b631b99e93573b25cd0e30487e9cd38e0fe476e","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-08-16T01:50:52.356015Z","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-14T11:45:58.386207Z","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:d93da92f56bdb4a5742068a36a480692c0efa81efd56961cf0d697224fe79daa","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-14T11:45:58.386207Z","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:2bba10e67dd1af90bd344ceed04d6120b7a74113ba85382f36338a1ff0ffa4cf","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-14T11:45:58.386207Z","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:4eb35ecebfb811938d6d4b47e5fd79852b6f651ce08c4c45ec98a15acbf0466f","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-14T11:45:58.386207Z","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:1aaabc288f5e0232fcfe054dd0928b6e67a889df7c23e68a1ce27099ccc208e5","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-14T11:45:58.386207Z","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:ab9504ce11acb4160a01111a5514b4a6a04a69d0597a89060350eec77d4ca067","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-14T11:45:58.386207Z","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:5f3c529b9fa362b2c4d17b7954b44aef9955c699082ed8f6e6bb0f647e9f354a","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-14T11:45:58.386207Z","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:3d710720d3a404600b8ad0e7a16c17b85b8416f5a1a5b3dc106ffc014f4c7735","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-14T11:45:58.386207Z","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:42659e6a2ae112099b573bfde6aedd3abbd13dc670b539d0f60a1eb28651ffee","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-08-18T08:11:45.716032Z","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-14T11:45:58.386207Z","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:238bf0591e56aee547a63c5b65ad27803d97f60d9116622d81cc009e1fb55077","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-14T11:45:58.386207Z","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:951f415b85ba003fac52e338819da24b32b0c05498e15dd454cbaa683e9f33ff","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-14T11:45:58.386207Z","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:ff95b121b304813694076206e4433eeef34d7fb38d0db26796706b6a3f69bab9","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-14T11:45:58.386207Z","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:13c094bac09c15d36affae922ab3b26c81d088440663165c9ed4f5f1b12ec14e","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-14T11:45:58.386207Z","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:2a88e01d911bbdc138017d4dbe50f981ffe77b00b495682f86cc189f8c5b6671","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-17T19:53:31.995761Z","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-14T11:45:58.386207Z","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:113ea34be406af84f6e3a32c6f7ffa6b19d4f7db22bf24aa4b3d820210385fbf","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-14T11:45:58.386207Z","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:b62635ec3a051c396b83fa5da51810f873c04d448d26f8b28f926f299fc9fd8e","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-14T11:45:58.386207Z","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:236024b3ab2b4bd6ae3382959e4e7bd86d27bf5d0cb9e42342812596619dc64f","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-14T11:45:58.386207Z","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:098166925073855c7b01a4921b368a6769f2388e0f55310e9a788016eac1c8b9","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-14T11:45:58.386207Z","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:8f68bb2ce7ee982336fb877cb28663a4ea06efcb04bb6b8461a19c47ae8c398b","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-14T11:45:58.386207Z","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:721fe0ce472822327396c9ab701d943087c1ad21c7185c79cc170deefe87db19","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-14T11:45:58.386207Z","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:3b4923c9a55ac6eca247c2d1f240b1db6593739eb759b9459d55739736180015","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-14T11:45:58.386207Z","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:e9b01f4ed3a68fbdfa4c1adb2ffac3663e9b88b516a7ab1b7825bd57baa733cd","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-14T11:45:58.386207Z","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:ce0721fc6ccc03da256dbd75757450ccc1505a625bb4d1ad19c4dd4591aab3a8","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-14T11:45:58.386207Z","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:5b53f8b0e1175298a21a4cd89dd45c50f318368a753b2178b974276a7149fe0c","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-16T00:51:32.846970Z","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-14T11:45:58.386207Z","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:80b0a939a85f9dca63005265205a65d767fb14e8f748dcff463c1ca8d79fa8cd","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-14T11:45:58.386207Z","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:dbd312afdfe0516e4a0e160e2ad5c15c58204d4800a94373a7c6c0006916753f","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-14T11:45:58.386207Z","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:b535a55b82cdb0d984426b420aea355904c155d848c56cf4a63d5bba552d9c7f","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-14T11:45:58.386207Z","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:c0ff8adfd5ac3208072203c308c9a990799e64bab29142ffba40946b6b43a674","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-14T11:45:58.386207Z","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:a8c7b65859b752ef15b61e1e32de8162141a1446d628b248de1ddaa1db0ce6cf","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-14T11:45:58.386207Z","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:034f6698b9a608f9de397514d640b0262f5e0937eb6eaf0a2e7145ca8ac2cd06","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-08-14T14:07:14.900729Z","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-14T11:45:58.386207Z","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:80781aa2680d909c5b60d182b22d4c4a0a6d4645ee7dd0a6df3b0455e97d6bf9","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-14T11:45:58.386207Z","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:30a7f1b35a08b06244d79cf577823ac1d88bd6c37f97d431185030cfb598b821","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-14T11:45:58.386207Z","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:60a71005d8ca3704332dd3b452ca63497214a1341d5e08974e1b3b9bace8087b","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-14T11:45:58.386207Z","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:4807712a16cca587a2138b6bf60752070b27996e70181b71578317038b846693","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-14T11:45:58.386207Z","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:1bf06a8f1cdfc41b96bee4376f06267f24bdb8d361c62f34678e576df5329593","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-14T11:45:58.386207Z","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:cb3908e165caf7e82e698ceeb3bd29732b69134122e5262904eda4f0c138bcc1","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-14T11:45:58.386207Z","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:abf148c34820d9f11b86c238c22405a1885cf4af8c502df41a1dd5f1cd874b32","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-14T11:45:58.386207Z","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:c7e16a63540fb7348dbbf9fadacb2ac0dfac5a84428409f0f5712ae2cafd6134","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-14T11:45:58.386207Z","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:b8cbaf46bd88eb4963f48da3aeccba7203ab59323dc0c4548cba595a5474c84c","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-14T11:45:58.386207Z","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:7bfaf13df42687903c5bb2eacc3c05bd723df1a0a18f1a8904a8fe673915aca0","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-14T11:45:58.386207Z","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:af80a508f6e5067b7b160d1d75a2d6909e15eb5d3b4ffab3311ccbbf8b64bd9e","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-14T11:45:58.386207Z","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:53a3bba3abb6cb602229477a155122549e02a2de5d4d2af00b439798df98b86b","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-14T11:45:58.386207Z","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:32384dc6a820899ab91f90f33c1402c73d76e651377dc9c09d17a757748534a4","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-14T11:45:58.386207Z","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:4d5c1a247940f2fcc1ebaaa52f5098d5f531e33079d0c9d5f92328136da6d631","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-14T11:45:58.386207Z","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:ae912bf2acab4fc481aebcf23264321dca375db94cfdd90c234f2af705331efa","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-14T11:45:58.386207Z","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:96d735a5d801a18a48d05b55a55c24f9f66a96647a1bf1d417b6064698cae628","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-14T11:45:58.386207Z","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:8409328fbbc071ff6d65a36f35c7ead19b957333d9c11d39699c03b30320748d","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-14T11:45:58.386207Z","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:b87952602486fc65726f3a6a442b3515c16377b9f6bbacecf4a12fb77d66a62e","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-14T11:45:58.386207Z","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:7a866ce730ac8e4f45b613ba18aaca4f6947bef325cedfc87295ad5b90c0b8e0","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-14T11:45:58.386207Z","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:f7a01a4db3980c4b662de4ee7f7a68e7b988c8f7048e8a3585bc2d2b7cbe7fc4","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-14T11:45:58.386207Z","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:3951fafc31c6a7a97418dae688382888f69fb32d2c9519fb720c2e20f2baf929","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-18T07:01:35.707347Z","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-14T11:45:58.386207Z","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:2c25421a88069a641b31e5b7529cd51b317042b45d4fd1a08d064e9e803fd289","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-14T11:45:58.386207Z","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:fa5091b74b2fa1959080cdf71db9e4a9543212d0c33650ccac9aa56feff5a2a0","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-16T18:33:35.516674Z","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-14T11:45:58.386207Z","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:2b5213d9280f48165fa647bb4c0336ad69d52163f69d4c6dddbf03463fc4b8ee","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-14T11:45:58.386207Z","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:08d73b5303c91436a86c5e01754a2680aaca47457e68893e2ffe74ffd6b65d8f","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-14T11:45:58.386207Z","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:1c21d3e0e2b055e6f219d2612336e3427b02c9155064da20f05f8e9f1b9987a6","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-14T11:45:58.386207Z","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:d56d2d5af1ea1f8bdd88f4258adff2d87fe68a0df8856ada28d7973ef6597887","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-14T11:45:58.386207Z","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:c74b0937b8ca0d1ecda9ba883cf43d7ce346b2e9576a3c82ed0cbcceb11b2cd0","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-17T02:16:24.215789Z","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-14T11:45:58.386207Z","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:b6aea6216de1f5fbcde39727870d7147e2fce48b516bc59544e212e5a848461e","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-14T11:45:58.386207Z","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:7877b8b3188fac76d67434e3f76711e787b7e15bdd0b5e00a0386790086f35c3","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-14T11:45:58.386207Z","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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 100 of 110 outbound references and 0 inbound Pith citation observations for arXiv:2607.09489."}