Ceci n'est pas une pipe: AI systems as semantic abstractions | Paper Citation Record

Observation 104ae1be-2a11-46c5-b065-114114dea504 · outbound

This paper cites An introduction to inductive definitions.

Ceci n'est pas une pipe: AI systems as semantic abstractions An introduction to inductive definitions

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6617323-bef7-4628-86d4-dbd5c4f2fb2f · outbound

This paper cites Introduction to Neural Network Verification.

Ceci n'est pas une pipe: AI systems as semantic abstractions Introduction to Neural Network Verification

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc451f86-bc5b-450c-93e8-2f04f8ea092a · outbound

This paper cites Alchourrón, Peter Gärdenfors, and David Makinson.

Ceci n'est pas une pipe: AI systems as semantic abstractions Alchourrón, Peter Gärdenfors, and David Makinson

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 976631fd-4a9e-4ec9-beeb-3af61a1c32c5 · outbound

This paper cites Herding cats: Modelling, simulation, testing, and data mining for weak memory.

Ceci n'est pas une pipe: AI systems as semantic abstractions Herding cats: Modelling, simulation, testing, and data mining for weak memory

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4dd7d3db-1585-4a11-8860-18aec93a7855 · outbound

This paper cites Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, and Paulo Tabuada.

Ceci n'est pas une pipe: AI systems as semantic abstractions Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, and Paulo Tabuada

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 474826ff-5c1a-4c80-a121-960c7bb1aed5 · outbound

This paper cites Model Context Protocol.https://modelcontextprotocol.io/, 2024.

Ceci n'est pas une pipe: AI systems as semantic abstractions Model Context Protocol.https://modelcontextprotocol.io/, 2024

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 951b2e03-689c-4632-ab55-7b3191980d05 · outbound

This paper cites an unresolved cited work.

Ceci n'est pas une pipe: AI systems as semantic abstractions Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9300498-f06e-4387-a0b2-706364ec44c2 · outbound

This paper cites Artemov and Melvin Fitting.JustificationLogic:ReasoningwithReasons, volume 216 ofCambridgeTracts in Mathematics.

Ceci n'est pas une pipe: AI systems as semantic abstractions Artemov and Melvin Fitting.JustificationLogic:ReasoningwithReasons, volume 216 ofCambridgeTracts in Mathematics

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cca4eb2e-0ffd-46c0-974a-75cae34bbf78 · outbound

This paper cites Self-RAG: Learning to Retrieve, Generate, and Critique through Self-Reflection.

Ceci n'est pas une pipe: AI systems as semantic abstractions Self-RAG: Learning to Retrieve, Generate, and Critique through Self-Reflection

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96cc0bee-10ba-4a92-ae7b-99827ed8cc78 · outbound

This paper cites Murray.FeedbackSystems:An Introductionfor ScientistsandEngineers.

Ceci n'est pas une pipe: AI systems as semantic abstractions Murray.FeedbackSystems:An Introductionfor ScientistsandEngineers

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 840461d9-96dc-417c-b7ea-330f975bac8f · outbound

This paper cites AI agents with formal security guarantees.

Ceci n'est pas une pipe: AI systems as semantic abstractions AI agents with formal security guarantees

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b81ebcca-45e9-4fb1-9d5a-01d84f712eb6 · outbound

This paper cites Becker, Cédric Fournet, and Andrew D.

Ceci n'est pas une pipe: AI systems as semantic abstractions Becker, Cédric Fournet, and Andrew D

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11c23969-ca47-4c42-83d1-0f06285a6f72 · outbound

This paper cites an unresolved cited work.

Ceci n'est pas une pipe: AI systems as semantic abstractions Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ffdadabc-be69-49df-9f2b-a671d4fc9565 · outbound

This paper cites Bender, Timnit Gebru, Angelina McMillan-Major, and Shmargaret Shmitchell.

Ceci n'est pas une pipe: AI systems as semantic abstractions Bender, Timnit Gebru, Angelina McMillan-Major, and Shmargaret Shmitchell

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2631e57-9ce3-4857-9f7b-637ad2569254 · outbound

This paper cites Bender and Alexander Koller.

Ceci n'est pas une pipe: AI systems as semantic abstractions Bender and Alexander Koller

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f729b91-26d6-455e-9f78-38e7ae662cd8 · outbound

This paper cites Prompting is programming: A query language for large language models.Proc.

Ceci n'est pas une pipe: AI systems as semantic abstractions Prompting is programming: A query language for large language models.Proc

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d4c8958-b5df-4f19-b8fb-2bfa4596a74e · outbound

This paper cites Cambridge University Press, 2001.

Ceci n'est pas une pipe: AI systems as semantic abstractions Cambridge University Press, 2001

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96cb69dd-2d03-4861-b7a5-1f374f952fac · outbound

This paper cites Attributed Question Answering: Evaluation and Modeling for Attributed Large Language Models.

Ceci n'est pas une pipe: AI systems as semantic abstractions Attributed Question Answering: Evaluation and Modeling for Attributed Large Language Models

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fb1d439-5c6e-49c0-8cd6-2f7b4667efff · outbound

This paper cites Why and where: A characterization of data provenance.

Ceci n'est pas une pipe: AI systems as semantic abstractions Why and where: A characterization of data provenance

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea89626e-e274-430b-9a82-665464c703e3 · outbound

This paper cites Provenance in databases: Why, how, and where.Foundations andTrendsin Databases, 1(4):379–474, 2009.

Ceci n'est pas une pipe: AI systems as semantic abstractions Provenance in databases: Why, how, and where.Foundations andTrendsin Databases, 1(4):379–474, 2009

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1492c675-7060-438f-aed0-245ae1b9f2e1 · outbound

This paper cites Proof-carrying data and hearsay arguments from signature cards.

Ceci n'est pas une pipe: AI systems as semantic abstractions Proof-carrying data and hearsay arguments from signature cards

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5ee81fb-85e4-4768-b595-e63697069db1 · outbound

This paper cites Three models for the description of language.IRE Trans.Inf.

Ceci n'est pas une pipe: AI systems as semantic abstractions Three models for the description of language.IRE Trans.Inf

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40def527-c483-47ee-8b89-5114f1a1ce38 · outbound

This paper cites an unresolved cited work.

Ceci n'est pas une pipe: AI systems as semantic abstractions Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58a6d2c6-72da-4ca2-afd5-4c50ab2aa101 · outbound

This paper cites Securing AI agents with information-flow control, 2025.

Ceci n'est pas une pipe: AI systems as semantic abstractions Securing AI agents with information-flow control, 2025

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a800b421-489d-4d15-8238-b90ed025e27a · outbound

This paper cites Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints.

Ceci n'est pas une pipe: AI systems as semantic abstractions Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3555c868-fd71-4f3c-9e81-d35957010042 · outbound

This paper cites Systematic design of program analysis frameworks.

Ceci n'est pas une pipe: AI systems as semantic abstractions Systematic design of program analysis frameworks

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b3c5369-8cc4-4103-bc95-130bdf7cadf2 · outbound

This paper cites Formally Specifying the High-Level Behavior of LLM-Based Agents.

Ceci n'est pas une pipe: AI systems as semantic abstractions Formally Specifying the High-Level Behavior of LLM-Based Agents

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87ab6078-593d-4031-98b8-cddcd91deac2 · outbound

This paper cites The ponder policy specification language.

Ceci n'est pas une pipe: AI systems as semantic abstractions The ponder policy specification language

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48f6cdbb-6905-44ec-915d-71994f62e36c · outbound

This paper cites An assumption-based TMS.ArtificialIntelligence, 28(2):127–162, 1986.

Ceci n'est pas une pipe: AI systems as semantic abstractions An assumption-based TMS.ArtificialIntelligence, 28(2):127–162, 1986

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5655e0b2-06f6-4a6f-bb36-425dcfea2465 · outbound

This paper cites Defeating prompt injections by design, 2025.

Ceci n'est pas une pipe: AI systems as semantic abstractions Defeating prompt injections by design, 2025

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6af042c-63b8-43cc-8d4e-ad940ceb8d58 · outbound

This paper cites Binder, a logic-based security language.

Ceci n'est pas une pipe: AI systems as semantic abstractions Binder, a logic-based security language

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c01bcadb-225d-4438-af3a-08617051195b · outbound

This paper cites A truth maintenance system.ArtificialIntelligence, 12(3):231–272, 1979.

Ceci n'est pas une pipe: AI systems as semantic abstractions A truth maintenance system.ArtificialIntelligence, 12(3):231–272, 1979

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3f8e266-7d26-4c80-822a-7e777246c961 · outbound

This paper cites coupled trees.

Ceci n'est pas une pipe: AI systems as semantic abstractions coupled trees

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc130d07-74f5-401b-94d9-89f2ee8492d8 · outbound

This paper cites Ragas: Automated Evaluation of Retrieval Augmented Generation.

Ceci n'est pas une pipe: AI systems as semantic abstractions Ragas: Automated Evaluation of Retrieval Augmented Generation

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d8200fe-c2d1-4039-bb45-cc616a892f10 · outbound

This paper cites AgentVerify: Compositional formal verification of AI agent safety properties via LTL model checking.

Ceci n'est pas une pipe: AI systems as semantic abstractions AgentVerify: Compositional formal verification of AI agent safety properties via LTL model checking

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 237aa727-37a7-4c72-9bae-6ea395eea9a5 · outbound

This paper cites Flandre, Alexander C.

Ceci n'est pas une pipe: AI systems as semantic abstractions Flandre, Alexander C

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a249a0f-8172-4b3b-9fdc-45629ef86b4a · outbound

This paper cites Über sinn und bedeutung.Zeitschriftfür PhilosophieundphilosophischeKritik, 100:25–50, 1892.

Ceci n'est pas une pipe: AI systems as semantic abstractions Über sinn und bedeutung.Zeitschriftfür PhilosophieundphilosophischeKritik, 100:25–50, 1892

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f095c75-9875-4353-9b11-c59c748102cf · outbound

This paper cites an unresolved cited work.

Ceci n'est pas une pipe: AI systems as semantic abstractions Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aab6ad99-0bcb-4fec-91b0-156dc4a3d6ed · outbound

This paper cites PAL: Program-aided Language Models.

Ceci n'est pas une pipe: AI systems as semantic abstractions PAL: Program-aided Language Models

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a96f4e37-738e-432f-9ec9-db29240a38fa · outbound

This paper cites Enabling Large Language Models to Generate Text with Citations.

Ceci n'est pas une pipe: AI systems as semantic abstractions Enabling Large Language Models to Generate Text with Citations

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6cd5ee2a-3c20-40c6-882d-b29001fa537a · outbound

This paper cites Policy auditing over incomplete logs: Theory, implementation and applications.

Ceci n'est pas une pipe: AI systems as semantic abstractions Policy auditing over incomplete logs: Theory, implementation and applications

Reference 41

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e532da2-b422-4787-b325-5d93ccdebd8f · outbound

This paper cites WybeCoder: Verified Imperative Code Generation.

Ceci n'est pas une pipe: AI systems as semantic abstractions WybeCoder: Verified Imperative Code Generation

Reference 42

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c653f412-07f7-4f26-a5f0-aa457da00658 · outbound

This paper cites SAIL: Sound abstract interpreters with LLMs.Proceedingsof the ACM on Programming Languages, 10(PLDI), 2026.

Ceci n'est pas une pipe: AI systems as semantic abstractions SAIL: Sound abstract interpreters with LLMs.Proceedingsof the ACM on Programming Languages, 10(PLDI), 2026

Reference 43

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9fbc882-ae20-43cf-904a-2934c89a2336 · outbound

This paper cites Sharma, and Ben Zorn.

Ceci n'est pas une pipe: AI systems as semantic abstractions Sharma, and Ben Zorn

Reference 44

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db17105a-08c0-40d8-bb8d-7b19dd77b604 · outbound

This paper cites Halpern and Riccardo Pucella.

Ceci n'est pas une pipe: AI systems as semantic abstractions Halpern and Riccardo Pucella

Reference 45

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0c46362-5399-45de-ab40-29b3d268fe43 · outbound

This paper cites Cambridge University Press, 1928.

Ceci n'est pas une pipe: AI systems as semantic abstractions Cambridge University Press, 1928

Reference 46

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ae9a58e-a575-4011-8bb3-9fbe177b58b0 · outbound

This paper cites Hobbs, Mark L.

Ceci n'est pas une pipe: AI systems as semantic abstractions Hobbs, Mark L

Reference 47

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59319fa5-c671-41bb-803d-7d6325719601 · outbound

This paper cites Springer, 2022.

Ceci n'est pas une pipe: AI systems as semantic abstractions Springer, 2022

Reference 48

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 100aec6b-6df3-435f-94ff-f7b0c8c5a38b · outbound

This paper cites Survey of hallucination in natural language generation.ACM ComputingSurveys, 55(12):1–38, 2023.

Ceci n'est pas une pipe: AI systems as semantic abstractions Survey of hallucination in natural language generation.ACM ComputingSurveys, 55(12):1–38, 2023

Reference 49

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7a23989-c59f-40bc-97e6-43fa9b0a8406 · outbound

This paper cites SWE-bench: Can Language Models Resolve Real-World GitHub Issues?.

Ceci n'est pas une pipe: AI systems as semantic abstractions SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

Reference 50

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3fecefa-fb03-4675-93c4-7a55ac849bbc · outbound

This paper cites Littman, and Anthony R.

Ceci n'est pas une pipe: AI systems as semantic abstractions Littman, and Anthony R

Reference 51

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4a2ad43-0c98-4740-a582-4ef8303e33d0 · outbound

This paper cites Runtime compliance verification for AI agents, 2026.

Ceci n'est pas une pipe: AI systems as semantic abstractions Runtime compliance verification for AI agents, 2026

Reference 52

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b10aa04-7dcf-4d77-b17b-3c7362780b08 · outbound

This paper cites an unresolved cited work.

Ceci n'est pas une pipe: AI systems as semantic abstractions Unresolved cited work

Reference 53

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47bbcda4-f0f0-4941-887b-11bbec6b88dc · outbound

This paper cites Devanbu, and Caleb Stanford.

Ceci n'est pas une pipe: AI systems as semantic abstractions Devanbu, and Caleb Stanford

Reference 54

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11208c6c-e3dd-4e21-9b4d-075b71509e1a · outbound

This paper cites MRKL Systems: A modular, neuro-symbolic architecture that combines large language models, external knowledge sources and discrete reasoning.

Ceci n'est pas une pipe: AI systems as semantic abstractions MRKL Systems: A modular, neuro-symbolic architecture that combines large language models, external knowledge sources and discrete reasoning

Reference 55

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d908eda4-885f-4f9d-bfe2-db05a2c164f7 · outbound

This paper cites AgentGuard: Runtime verification of AI agents, 2025.

Ceci n'est pas une pipe: AI systems as semantic abstractions AgentGuard: Runtime verification of AI agents, 2025

Reference 56

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddb064c0-39a2-4b35-b5b8-66cd12e54fd1 · outbound

This paper cites an unresolved cited work.

Ceci n'est pas une pipe: AI systems as semantic abstractions Unresolved cited work

Reference 57

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 011620ec-6bfe-412d-b404-43f0553b3ab1 · outbound

This paper cites an unresolved cited work.

Ceci n'est pas une pipe: AI systems as semantic abstractions Unresolved cited work

Reference 58

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11fea493-54ea-49cc-9327-e31a8dfe966a · outbound

This paper cites A brief account of runtime verification.Journalof Logic andAlgebraic Programming, 78(5):293–303, 2009.

Ceci n'est pas une pipe: AI systems as semantic abstractions A brief account of runtime verification.Journalof Logic andAlgebraic Programming, 78(5):293–303, 2009

Reference 59

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0106b4d0-0054-4d5a-a850-f3dbe3669964 · outbound

This paper cites Retrieval-augmented generation for knowledge-intensive NLP tasks.

Ceci n'est pas une pipe: AI systems as semantic abstractions Retrieval-augmented generation for knowledge-intensive NLP tasks

Reference 60

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 291fdc17-d871-49ba-a0a0-293f4dc7c609 · outbound

This paper cites Agent harness engineering: A survey, 2026.

Ceci n'est pas une pipe: AI systems as semantic abstractions Agent harness engineering: A survey, 2026

Reference 61

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1db43143-b52d-451f-9bf6-74d1f40a6b1d · outbound

This paper cites API-Bank: A Comprehensive Benchmark for Tool-Augmented LLMs.

Ceci n'est pas une pipe: AI systems as semantic abstractions API-Bank: A Comprehensive Benchmark for Tool-Augmented LLMs

Reference 62

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de41333d-4e5c-4b31-aeea-6d30ce42089c · outbound

This paper cites Liang, Melissa Lin, Nikitha Rao, and Brad A.

Ceci n'est pas une pipe: AI systems as semantic abstractions Liang, Melissa Lin, Nikitha Rao, and Brad A

Reference 63

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e065229-a67e-47e5-9375-11ba89d54e15 · outbound

This paper cites Edit automata: Enforcement mechanisms for run-time security policies.

Ceci n'est pas une pipe: AI systems as semantic abstractions Edit automata: Enforcement mechanisms for run-time security policies

Reference 64

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac3e149d-f2b5-459f-95ba-7d4c0fc6b2d3 · outbound

This paper cites AgentBench: Evaluating LLMs as Agents.

Ceci n'est pas une pipe: AI systems as semantic abstractions AgentBench: Evaluating LLMs as Agents

Reference 65

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 233a3166-f110-49fc-8592-ee5b2e68bce4 · outbound

This paper cites McConnell, Kurt Mehlhorn, Stefan Näher, and Pascal Schweitzer.

Ceci n'est pas une pipe: AI systems as semantic abstractions McConnell, Kurt Mehlhorn, Stefan Näher, and Pascal Schweitzer

Reference 66

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9e6ccab-9ff6-43e4-9b2e-9083bd552d5a · outbound

This paper cites PROV-DM: The PROV data model.

Ceci n'est pas une pipe: AI systems as semantic abstractions PROV-DM: The PROV data model

Reference 67

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f63542b-3322-420d-b379-a18df572fce4 · outbound

This paper cites an unresolved cited work.

Ceci n'est pas une pipe: AI systems as semantic abstractions Unresolved cited work

Reference 68

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6169b4ad-3637-4cac-8ac1-12e0e488c2a2 · outbound

This paper cites eXtensible Access Control Markup Language (XACML) version 3.0.

Ceci n'est pas une pipe: AI systems as semantic abstractions eXtensible Access Control Markup Language (XACML) version 3.0

Reference 69

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 44fbfb23-254b-4bfd-9263-607f1b25495f · outbound

This paper cites Abstract interpretation-based feature im- portance for support vector machines.

Ceci n'est pas une pipe: AI systems as semantic abstractions Abstract interpretation-based feature im- portance for support vector machines

Reference 70

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fb60b23-bfb7-4e55-8506-67ed5a07d6b5 · outbound

This paper cites Gorilla: Large Language Model Connected with Massive APIs.

Ceci n'est pas une pipe: AI systems as semantic abstractions Gorilla: Large Language Model Connected with Massive APIs

Reference 71

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bd941a6-13c2-4f7f-b0d5-0af5447bf346 · outbound

This paper cites Harvard University Press, Cambridge, MA, 1931–1935.

Ceci n'est pas une pipe: AI systems as semantic abstractions Harvard University Press, Cambridge, MA, 1931–1935

Reference 72

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0c90c2a-7b73-484e-9b51-e5d23bab1dba · outbound

This paper cites Acar, James Cheney, and Paul Blain Levy.

Ceci n'est pas une pipe: AI systems as semantic abstractions Acar, James Cheney, and Paul Blain Levy

Reference 73

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2aec6edb-f72e-4bfe-8efe-272cd5c7b6fe · outbound

This paper cites an unresolved cited work.

Ceci n'est pas une pipe: AI systems as semantic abstractions Unresolved cited work

Reference 74

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ee8642d-b86f-4f4b-93e0-b6b53c3bf675 · outbound

This paper cites Propagation of interval belief structures and imprecise copulas for neural network verification, 2026.

Ceci n'est pas une pipe: AI systems as semantic abstractions Propagation of interval belief structures and imprecise copulas for neural network verification, 2026

Reference 75

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18232350-4d28-4326-bea8-5a17bcb634d8 · outbound

This paper cites Springer, 1989.

Ceci n'est pas une pipe: AI systems as semantic abstractions Springer, 1989

Reference 76

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d655422d-01e3-4b75-8c14-86ed215907b3 · outbound

This paper cites Reflections on random kitchen sinks.

Ceci n'est pas une pipe: AI systems as semantic abstractions Reflections on random kitchen sinks

Reference 77

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e12a3075-e113-447f-b14e-c8be8dedc69b · outbound

This paper cites Ramadge and W.

Ceci n'est pas une pipe: AI systems as semantic abstractions Ramadge and W

Reference 78

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcfef914-e3a4-4d72-854f-248d67a13a53 · outbound

This paper cites Measuring attribution in natural language generation models.

Ceci n'est pas une pipe: AI systems as semantic abstractions Measuring attribution in natural language generation models

Reference 79

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c24ac10-980c-4a96-b19d-f4dd2b702e52 · outbound

This paper cites Rawlings, David Q.

Ceci n'est pas une pipe: AI systems as semantic abstractions Rawlings, David Q

Reference 80

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8eb8a216-a1e0-4157-aea1-e46d5ec04ead · outbound

This paper cites Epistemic logic.

Ceci n'est pas une pipe: AI systems as semantic abstractions Epistemic logic

Reference 81

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1042f7a9-0502-4042-9bc7-3b55d5e41235 · outbound

This paper cites Identifying the Risks of LM Agents with an LM-Emulated Sandbox.

Ceci n'est pas une pipe: AI systems as semantic abstractions Identifying the Risks of LM Agents with an LM-Emulated Sandbox

Reference 82

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcbc8cad-cb27-409c-a807-4b132bb71e9f · outbound

This paper cites Toolformer: Language Models Can Teach Themselves to Use Tools.

Ceci n'est pas une pipe: AI systems as semantic abstractions Toolformer: Language Models Can Teach Themselves to Use Tools

Reference 83

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f19b0a08-590a-41c5-8c9a-2f5eb96d513f · outbound

This paper cites Formal semantics for agentic tool protocols, 2026.

Ceci n'est pas une pipe: AI systems as semantic abstractions Formal semantics for agentic tool protocols, 2026

Reference 84

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1d0103b-486f-4545-ba4d-d595eba156e1 · outbound

This paper cites Schneider.

Ceci n'est pas une pipe: AI systems as semantic abstractions Schneider

Reference 85

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 151124f7-e269-4563-b0cd-fa073ac90c4b · outbound

This paper cites Scott and Christopher Strachey.

Ceci n'est pas une pipe: AI systems as semantic abstractions Scott and Christopher Strachey

Reference 86

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c41316fa-68bc-4013-ad73-dc12dcfd3b86 · outbound

This paper cites Progent: Securing AI agents with privilege control, 2025.

Ceci n'est pas une pipe: AI systems as semantic abstractions Progent: Securing AI agents with privilege control, 2025

Reference 87

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee4627e9-e320-4025-b27b-e08932816102 · outbound

This paper cites Shoenfield.MathematicalLogic.

Ceci n'est pas une pipe: AI systems as semantic abstractions Shoenfield.MathematicalLogic

Reference 88

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 068c4df4-bfa5-4e4b-9ecd-94843bd8c101 · outbound

This paper cites Korth, and S.

Ceci n'est pas une pipe: AI systems as semantic abstractions Korth, and S

Reference 89

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5dbc05ce-bcc2-4cf6-aab7-fd744058a2c6 · outbound

This paper cites Sontag.MathematicalControlTheory:DeterministicFiniteDimensionalSystems.

Ceci n'est pas une pipe: AI systems as semantic abstractions Sontag.MathematicalControlTheory:DeterministicFiniteDimensionalSystems

Reference 90

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9f1d303-260b-4bc8-a7cb-5e58042a05f7 · outbound

This paper cites Fundamental concepts in programming languages.Higher-OrderandSymbolicComputation, 13(1–2):11–49, 2000.

Ceci n'est pas une pipe: AI systems as semantic abstractions Fundamental concepts in programming languages.Higher-OrderandSymbolicComputation, 13(1–2):11–49, 2000

Reference 91

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ee40491-5aa3-4080-87d0-c2b3c68f2c19 · outbound

This paper cites Cognitive Architectures for Language Agents.

Ceci n'est pas une pipe: AI systems as semantic abstractions Cognitive Architectures for Language Agents

Reference 92

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fe6a6bd-e619-4149-b92a-1b2ba2c9ba5b · outbound

This paper cites A lattice theoretical fixpoint theorem and its applications.PacificJ.

Ceci n'est pas une pipe: AI systems as semantic abstractions A lattice theoretical fixpoint theorem and its applications.PacificJ

Reference 93

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db4b159b-7f6a-45b2-bf4b-1846c6d8266b · outbound

This paper cites A Review of Formal Methods applied to Machine Learning.

Ceci n'est pas une pipe: AI systems as semantic abstractions A Review of Formal Methods applied to Machine Learning

Reference 94

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6b7ca8a-1866-4e7a-ab45-d0d562fda72c · outbound

This paper cites Static analysis by abstract interpretation against data leakage in machine learning.Sci.

Ceci n'est pas une pipe: AI systems as semantic abstractions Static analysis by abstract interpretation against data leakage in machine learning.Sci

Reference 95

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9566a46-5f95-4ff9-b644-5d35abd7d98e · outbound

This paper cites Springer, 2013.

Ceci n'est pas une pipe: AI systems as semantic abstractions Springer, 2013

Reference 96

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2cc9ce6-b383-409a-9f80-e6a735cd50e9 · outbound

This paper cites an unresolved cited work.

Ceci n'est pas une pipe: AI systems as semantic abstractions Unresolved cited work

Reference 97

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d4a8c33-e55a-4c27-94b7-074588b97ae8 · outbound

This paper cites Poskitt, and Jun Sun.

Ceci n'est pas une pipe: AI systems as semantic abstractions Poskitt, and Jun Sun

Reference 98

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83a3bf43-e220-446c-91b4-ec15576eae5c · outbound

This paper cites A Survey on Large Language Model based Autonomous Agents.

Ceci n'est pas une pipe: AI systems as semantic abstractions A Survey on Large Language Model based Autonomous Agents

Reference 99

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6861af6b-d183-4c21-b0dc-a1456547d982 · outbound

This paper cites Lean4Agent: Formal modeling and verification for agent workflow and trajectory, 2026.

Ceci n'est pas une pipe: AI systems as semantic abstractions Lean4Agent: Formal modeling and verification for agent workflow and trajectory, 2026

Reference 100

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers