Paper Citation Record · LEDGER

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows

As of 5 August 2026, this Paper Citation Record lists 56 of 56 outbound references and 1 inbound Pith citation observation for arXiv:2606.08049.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2606.08049 v1

Coverage vector

measured 56 of 56 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-27T19:44:40.810385Z

measured 57 of 57 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-04T06:34:03.388597+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-31T08:40:18.785367Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

56 of 56 outbound references displayed

verified exact16
verified fuzzy0
unresolved26
parse uncertain0
malformed identifier1
metadata mismatch13

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 767feb3c-091e-4ef9-878a-572bc7b624e7 · outbound

This paper cites Mem0: Building Production-Ready AI Agents with Scalable Long-Term Memory.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Mem0: Building Production-Ready AI Agents with Scalable Long-Term Memory

Reference 1

Resolution: verified exact; local_arxiv, observed 2026-07-02T21:27:24.638817Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 5ef4c568-2aeb-4d47-9266-ba14c8dafcc7 · outbound

This paper cites WATER: Web application test repair.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows WATER: Web application test repair

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d77ae4b6-bf89-4416-8564-0beb6aaf4440 · outbound

This paper cites The lean 4 theorem prover and programming language.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows The lean 4 theorem prover and programming language

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9a1623c-d628-4d2e-a437-921777eeef77 · outbound

This paper cites Mind2Web: Towards a generalist agent for the web.Advances in Neural Information Processing Systems, 36:28091–28114, December 2023.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Mind2Web: Towards a generalist agent for the web.Advances in Neural Information Processing Systems, 36:28091–28114, December 2023

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f06062b-d161-4528-9104-f9822c16236f · outbound

This paper cites WebArena Verified: Reliable evaluation for web agents.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows WebArena Verified: Reliable evaluation for web agents

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24e118e5-fdf6-40cb-9317-f5ad74135dcc · outbound

This paper cites Bridging the prototype-production gap: A multi-agent system for notebooks transformation, 2025.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Bridging the prototype-production gap: A multi-agent system for notebooks transformation, 2025

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-07-02T21:27:24.648034Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation dfb90ba8-e957-42c2-a404-e0eb1dc8dfcc · outbound

This paper cites Memp: Exploring Agent Procedural Memory.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Memp: Exploring Agent Procedural Memory

Reference 7

Resolution: verified exact; local_arxiv, observed 2026-07-02T21:27:24.658051Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation c6e7d971-bf8e-4901-880c-f462f8fad1ab · outbound

This paper cites A Survey of Self-Evolving Agents: What, When, How, and Where to Evolve on the Path to Artificial Super Intelligence.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows A Survey of Self-Evolving Agents: What, When, How, and Where to Evolve on the Path to Artificial Super Intelligence

Reference 8

Resolution: verified exact; local_arxiv, observed 2026-07-02T21:27:24.619935Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 96288665-809c-4660-a5ae-e3da39ef4f6b · outbound

This paper cites Carlin, Hal S.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Carlin, Hal S

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca0bf542-8fe0-4641-8721-e34bd492a8c2 · outbound

This paper cites Alas: Transactional and dynamic multi-agent llm planning.arXiv preprint arXiv:2511.03094, 2025.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Alas: Transactional and dynamic multi-agent llm planning.arXiv preprint arXiv:2511.03094, 2025

Reference 10

Resolution: verified exact; arxiv_id, observed 2026-07-02T21:27:24.669273Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 62f4e12a-79f1-4946-9002-3d0cae0d7333 · outbound

This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

Reference 11

Resolution: verified exact; local_arxiv, observed 2026-07-02T21:27:24.668158Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation fbe88567-fce0-43ba-a217-6ca71fc4f104 · outbound

This paper cites HiA- gent: Hierarchical working memory management for solving long-horizon agent tasks with large language model.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows HiA- gent: Hierarchical working memory management for solving long-horizon agent tasks with large language model

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c144852a-f141-4365-bf62-be7e8cbae7d1 · outbound

This paper cites H i A gent: Hierarchical Working Memory Management for Solving Long-Horizon Agent Tasks with Large Language Model.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows H i A gent: Hierarchical Working Memory Management for Solving Long-Horizon Agent Tasks with Large Language Model

Reference 13

Resolution: metadata mismatch; doi, observed 2026-06-27T19:51:12.588723Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 74e2c839-fc28-4cee-a196-ccc3094fa7b7 · outbound

This paper cites Xu, Tianyue Ou, Shuyan Zhou, Jeffrey P.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Xu, Tianyue Ou, Shuyan Zhou, Jeffrey P

Reference 14

Resolution: verified exact; doi, observed 2026-06-27T19:51:12.602445Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 03621250-69d9-4f62-9910-e7448f5f754b · outbound

This paper cites Jiang, Wenda Li, Szymon Tworkowski, Konrad Czechowski, Tomasz Odrzygó´ zd´ z, Piotr Miło´s, Yuhuai Wu, and Mateja Jamnik.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Jiang, Wenda Li, Szymon Tworkowski, Konrad Czechowski, Tomasz Odrzygó´ zd´ z, Piotr Miło´s, Yuhuai Wu, and Mateja Jamnik

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6153ebf3-81b1-4cb1-97ba-a8ba155a1be6 · outbound

This paper cites Tulu 3: Pushing Frontiers in Open Language Model Post-Training.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Tulu 3: Pushing Frontiers in Open Language Model Post-Training

Reference 16

Resolution: metadata mismatch; local_arxiv, observed 2026-07-02T21:27:24.636032Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 053e09a6-e635-4f5e-ae7e-14e21c9e1598 · outbound

This paper cites Visual vs.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Visual vs

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13bb7af6-d717-4ac5-b76a-cf8490bb261a · outbound

This paper cites ROBULA+: An algorithm for generating robust XPath locators for web testing.Journal of Software: Evolution and Process, 2016.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows ROBULA+: An algorithm for generating robust XPath locators for web testing.Journal of Software: Evolution and Process, 2016

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a905878d-d386-459e-b1aa-052fc3b12c1a · outbound

This paper cites Offline Reinforcement Learning: Tutorial, Review, and Perspectives on Open Problems.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Offline Reinforcement Learning: Tutorial, Review, and Perspectives on Open Problems

Reference 19

Resolution: verified exact; local_arxiv, observed 2026-07-02T21:27:24.646083Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 3b6be7fd-6b24-4835-ab99-cce6bb24ccc3 · outbound

This paper cites ST- WebAgentBench: A Benchmark for Evaluating Safety and Trustworthiness in Web Agents, May.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows ST- WebAgentBench: A Benchmark for Evaluating Safety and Trustworthiness in Web Agents, May

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41b4061a-b646-49fd-934c-01e2df322265 · outbound

This paper cites ST-WebAgentBench: A Benchmark for Evaluating Safety and Trustworthiness in Web Agents.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows ST-WebAgentBench: A Benchmark for Evaluating Safety and Trustworthiness in Web Agents

Reference 21

Resolution: metadata mismatch; local_arxiv, observed 2026-07-02T21:27:24.624551Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 572a0b15-d645-4683-ba26-d09ac0bdca5c · outbound

This paper cites AgentGit: A Version Control Framework for Reliable and Scalable LLM-Powered Multi-Agent Systems, November 2025.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows AgentGit: A Version Control Framework for Reliable and Scalable LLM-Powered Multi-Agent Systems, November 2025

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-07-02T21:27:24.633663Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation d65677fe-8cc9-4e31-9273-323b089b514a · outbound

This paper cites Self-evolving Agents with reflective and memory-augmented abilities.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Self-evolving Agents with reflective and memory-augmented abilities

Reference 23

Resolution: metadata mismatch; arxiv_id, observed 2026-07-02T21:27:24.632127Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 0b2a38cc-a4c9-401b-bc9b-5fac0220c3cf · outbound

This paper cites Large Language Model-Based Agents for Software Engineering: A Survey.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Large Language Model-Based Agents for Software Engineering: A Survey

Reference 24

Resolution: verified exact; local_arxiv, observed 2026-07-02T21:27:24.670592Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 29d167da-025c-4c2e-9868-21950ebd5942 · outbound

This paper cites Reuseit: Synthesizing reusable ai agent workflows for web automation.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Reuseit: Synthesizing reusable ai agent workflows for web automation

Reference 25

Resolution: verified exact; arxiv_id, observed 2026-07-02T21:27:24.671811Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation eb19fd02-b3ed-40e9-a39d-2201c81e46e4 · outbound

This paper cites In: Christodoulopoulos, C., Chakraborty, T., Rose, C., Peng, V.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows In: Christodoulopoulos, C., Chakraborty, T., Rose, C., Peng, V

Reference 26

Resolution: metadata mismatch; doi, observed 2026-06-27T19:51:12.590751Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 8db86374-9b45-4769-a537-db6a22858972 · outbound

This paper cites CLIN: A Continually Learning Language Agent for Rapid Task Adaptation and Generalization.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows CLIN: A Continually Learning Language Agent for Rapid Task Adaptation and Generalization

Reference 27

Resolution: verified exact; arxiv_id, observed 2026-07-02T21:27:24.678375Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation ee5262bc-ad32-4bae-bda3-8e7aa9bd44e5 · outbound

This paper cites Atomix: Timely, Transactional Tool Use for Reliable Agentic Workflows.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Atomix: Timely, Transactional Tool Use for Reliable Agentic Workflows

Reference 28

Resolution: verified exact; local_arxiv, observed 2026-07-02T21:27:24.655024Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 452c3e68-a629-49e3-af01-4d5f53ed2db2 · outbound

This paper cites Le, Samira Daruki, Xiangru Tang, Vishy Tirumalashetty, George Lee, Mahsan Rofouei, Hangfei Lin, Jiawei Han, Chen-Yu Lee, and Tomas Pfister.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Le, Samira Daruki, Xiangru Tang, Vishy Tirumalashetty, George Lee, Mahsan Rofouei, Hangfei Lin, Jiawei Han, Chen-Yu Lee, and Tomas Pfister

Reference 29

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a582d41-93d5-442b-81f0-e132768dbdd8 · outbound

This paper cites MemGPT: Towards LLMs as Operating Systems.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows MemGPT: Towards LLMs as Operating Systems

Reference 30

Resolution: metadata mismatch; local_arxiv, observed 2026-07-02T21:27:24.627260Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 59cd4d2b-8ba8-4f73-a6f2-b01d519939f9 · outbound

This paper cites 9 Gerald J Popek and Robert P Goldberg.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows 9 Gerald J Popek and Robert P Goldberg

Reference 31

Resolution: metadata mismatch; arxiv_id, observed 2026-07-02T21:27:24.631131Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 584dcff5-e66b-4326-a961-871778b05fb4 · outbound

This paper cites Investigate-Consolidate-Exploit: A General Strategy for Inter-Task Agent Self-Evolution.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Investigate-Consolidate-Exploit: A General Strategy for Inter-Task Agent Self-Evolution

Reference 32

Resolution: metadata mismatch; arxiv_id, observed 2026-07-02T21:27:24.663433Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 175b8821-9932-4323-92bd-e0f306284a0f · outbound

This paper cites Stability.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Stability

Reference 33

Resolution: metadata mismatch; arxiv_id, observed 2026-06-27T19:51:12.595706Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 8657829c-98ef-4b0f-9937-72149388fc60 · outbound

This paper cites Visual web test repair.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Visual web test repair

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f9e0367-7426-42f2-8655-58f1292bb547 · outbound

This paper cites an unresolved cited work.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b68d2a8d-590b-42ed-aac9-b20f3267526a · outbound

This paper cites In prospect and retrospect: Reflective memory management for long-term personalized dialogue agents.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows In prospect and retrospect: Reflective memory management for long-term personalized dialogue agents

Reference 36

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7da6b0c-a303-40ec-a1ec-1c7a366ef0b6 · outbound

This paper cites In prospect and retrospect: Reflective memory management for long-term personalized dialogue agents.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows In prospect and retrospect: Reflective memory management for long-term personalized dialogue agents

Reference 37

Resolution: metadata mismatch; doi, observed 2026-06-27T19:51:12.608333Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 0c04d012-1901-4d48-866c-121019dbd41a · outbound

This paper cites ChemAgent: Self-updating memories in large language models improves chemical reason- ing.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows ChemAgent: Self-updating memories in large language models improves chemical reason- ing

Reference 38

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d6e393f-cd30-4892-8334-8bb750373cd5 · outbound

This paper cites findings-emnlp.695/.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows findings-emnlp.695/

Reference 39

Resolution: metadata mismatch; doi, observed 2026-06-27T19:51:12.600335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation ecf955cf-eb10-4759-aa7e-290b19281c25 · outbound

This paper cites an unresolved cited work.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 768ab2fe-3fca-4da8-960e-2a264ed156e4 · outbound

This paper cites Thomas, Georgios Theocharous, and Mohammad Ghavamzadeh.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Thomas, Georgios Theocharous, and Mohammad Ghavamzadeh

Reference 41

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b928a4cc-3206-4b23-b451-cadd28c0853e · outbound

This paper cites V oyager: An open-ended embodied agent with large language models.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows V oyager: An open-ended embodied agent with large language models

Reference 42

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0860bcb1-f2bb-4521-a23a-b334462084c5 · outbound

This paper cites Executable code actions elicit better LLM agents.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Executable code actions elicit better LLM agents

Reference 43

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33a9e0c4-76a0-4d23-a951-094d29976698 · outbound

This paper cites TroVE: Inducing verifiable and efficient toolboxes for solving programmatic tasks.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows TroVE: Inducing verifiable and efficient toolboxes for solving programmatic tasks

Reference 44

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59816ff2-ee05-4079-a3db-7f68b9c9d59f · outbound

This paper cites Agent workflow memory.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Agent workflow memory

Reference 45

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5a325d1-1886-466e-9e73-2fd884da1f7a · outbound

This paper cites Jiang, Wenda Li, Markus N.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Jiang, Wenda Li, Markus N

Reference 46

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b628e14b-2f15-4ffd-beba-782365990392 · outbound

This paper cites OS-Copilot: Towards generalist computer agents with self- improvement.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows OS-Copilot: Towards generalist computer agents with self- improvement

Reference 47

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 232a9129-5cbe-4172-9c01-82e2ec564bb7 · outbound

This paper cites A-MEM: Agentic Memory for LLM Agents.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows A-MEM: Agentic Memory for LLM Agents

Reference 48

Resolution: verified exact; local_arxiv, observed 2026-07-02T21:27:24.673057Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 71a78724-d351-4df7-8dbe-52f4cc58d073 · outbound

This paper cites Datawiseagent: A notebook-centric llm agent framework for adaptive and robust data science automation, 2025.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Datawiseagent: A notebook-centric llm agent framework for adaptive and robust data science automation, 2025

Reference 49

Resolution: verified exact; arxiv_id, observed 2026-07-02T21:27:24.675656Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation d1bfa1d3-dcb9-481b-ad14-66b49ea400ad · outbound

This paper cites A survey on the memory mechanism of large language model based agents,.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows A survey on the memory mechanism of large language model based agents,

Reference 50

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05587c81-4d82-4888-ab62-efdcfce47600 · outbound

This paper cites A Survey on the Memory Mechanism of Large Language Model based Agents.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows A Survey on the Memory Mechanism of Large Language Model based Agents

Reference 51

Resolution: verified exact; local_arxiv, observed 2026-07-02T21:27:24.643441Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 3bdd9db7-a9f7-4d82-9018-b005f1832a39 · outbound

This paper cites You only look at screens: Multimodal chain-of-action agents, June 2024.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows You only look at screens: Multimodal chain-of-action agents, June 2024

Reference 52

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd5f16f6-4626-4816-8381-6a8a7b8d9ec0 · outbound

This paper cites target_host.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows target_host

Reference 53

Resolution: metadata mismatch; doi, observed 2026-06-27T19:51:12.597961Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation e034f4d1-047c-45c1-ab73-89aadf2f6cd5 · outbound

This paper cites SkillWeaver: Web Agents can Self-Improve by Discovering and Honing Skills.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows SkillWeaver: Web Agents can Self-Improve by Discovering and Honing Skills

Reference 54

Resolution: metadata mismatch; local_arxiv, observed 2026-07-02T21:27:24.665842Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation a7a09b91-2371-4a3a-88bf-1535c4b41bf9 · outbound

This paper cites Synapse: Trajectory-as-exemplar prompting with memory for computer control.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Synapse: Trajectory-as-exemplar prompting with memory for computer control

Reference 55

Resolution: unresolved; no resolver link, observed 2026-06-27T19:44:40.810385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d679ba7-bf63-4bfd-82e9-45c9e4f60893 · outbound

This paper cites Louis, G.

SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows Louis, G

Reference 56

Resolution: malformed identifier; doi_truncated, observed 2026-06-27T19:51:12.604649Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Pith citing papers

Observation 3693ab15-d824-473b-a2b1-4b5a7d19488b · inbound

Why Are GUI Agents Correct but Late? Decode on the Decision-Time Critical Path, Tested with Pre-Compiled Policy Trees cites this paper.

Why Are GUI Agents Correct but Late? Decode on the Decision-Time Critical Path, Tested with Pre-Compiled Policy Trees SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-31T08:40:18.785367Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.