{"as_of":"2026-08-08T00:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1c08adf8df3f28062a2504a4485d906729bd15f80f99e2082a6cede0ed107329","coverage":[{"denominator":56,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":56,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-27T19:44:40.810385Z","state":"measured"},{"denominator":57,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":57,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-31T08:40:18.785367Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.08049","snapshot_observed_at":"2026-07-31T08:40:18.785367Z","title":"arXiv:2606.08049","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28399","last_updated":"2026-07-30T15:50:10Z","snapshot_observed_at":"2026-08-05T16:06:24.568644Z","submitted_at":"2026-07-30T15:50:10Z","title":"Why Are GUI Agents Correct but Late? Decode on the Decision-Time Critical Path, Tested with Pre-Compiled Policy Trees","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-31T08:40:18.785367Z"},"links":{"cited_paper":"/paper/2606.08049","citing_paper":"/paper/2607.28399"},"observation_digest":"sha256:57830d00a64c5d5f8365f47c2968b622ba788272b591a33c4f02507ca36ce73b","observation_id":"3693ab15-d824-473b-a2b1-4b5a7d19488b","resolution":{"observed_at":"2026-07-31T08:40:18.785367Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2606.08049/citation-record","integrity":"/paper/2606.08049/integrity","json":"/paper/2606.08049/citation-record.json","paper":"/paper/2606.08049"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2504.19413","last_updated":"2025-04-28T01:46:35Z","snapshot_observed_at":"2026-08-02T07:32:11.339534Z","submitted_at":"2025-04-28T01:46:35Z","title":"Mem0: Building Production-Ready AI Agents with Scalable Long-Term Memory","version":1},"cited_work":{"arxiv_id":"2504.19413","doi":"10.48550/arxiv.2504.19413","metadata_source":"pith","pith_arxiv_id":"2504.19413","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Mem0: Building Production-Ready AI Agents with Scalable Long-Term Memory","venue":"cs.CL","work_id":"a5aed26c-a248-48b6-a59e-f7693fcb180a","year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"cited_paper":"/paper/2504.19413","citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:d3ea99604a4f8cdfcb64abbfa5839351e2f9ee53e8a16275d0417ed14e3df9f5","observation_id":"767feb3c-091e-4ef9-878a-572bc7b624e7","resolution":{"observed_at":"2026-07-02T21:27:24.638817Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T19:44:40.810385Z","title":"WATER: Web application test repair","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:553ae5ec37ac6e914866f83de5bc9fa669fddcb6dffcffd03a7bd70db109a22b","observation_id":"5ef4c568-2aeb-4d47-9266-ba14c8dafcc7","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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-06-27T19:44:40.810385Z","title":"The lean 4 theorem prover and programming language","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:da8f2f46b331ae1850c9861649ba3dd45644e7feaae6f3737ec41b39a40c6768","observation_id":"d77ae4b6-bf89-4416-8564-0beb6aaf4440","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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-06-27T19:44:40.810385Z","title":"Mind2Web: Towards a generalist agent for the web.Advances in Neural Information Processing Systems, 36:28091–28114, December 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:e6413d15a3060fe4c41d43c941f3806c59702b22dc59fcf48eaa1b145da09ab7","observation_id":"c9a1623c-d628-4d2e-a437-921777eeef77","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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-06-27T19:44:40.810385Z","title":"WebArena Verified: Reliable evaluation for web agents","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:996e4339625388221feea55c6cee7c6f3c636aeeb0028657daf6939ecff1f169","observation_id":"7f06062b-d161-4528-9104-f9822c16236f","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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":"2511.07257","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-02T21:27:24.646512Z","title":"Bridging the prototype-production gap: A multi-agent system for notebooks transformation, 2025","venue":null,"work_id":"6d06430e-0625-478f-abcc-ba2bcac5e3bc","year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:0a6b39d742ee6eb61e2eb1906d6498895c999ef40f038d498900047c82fcb1b7","observation_id":"24e118e5-fdf6-40cb-9317-f5ad74135dcc","resolution":{"observed_at":"2026-07-02T21:27:24.648034Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.06433","last_updated":"2026-04-15T17:21:59Z","snapshot_observed_at":"2026-07-06T22:10:07.250122Z","submitted_at":"2025-08-08T16:20:56Z","title":"Memp: Exploring Agent Procedural Memory","version":4},"cited_work":{"arxiv_id":"2508.06433","doi":"10.48550/arxiv.2508.06433","metadata_source":"pith","pith_arxiv_id":"2508.06433","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Memp: Exploring Agent Procedural Memory","venue":"cs.CL","work_id":"7a9faca4-10b1-472d-8fc5-89b683d01851","year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"cited_paper":"/paper/2508.06433","citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:4f6da292a6e9790fe1009c582776c193343416b3ca4a36d7ef2eb453f062fcb2","observation_id":"dfb90ba8-e957-42c2-a404-e0eb1dc8dfcc","resolution":{"observed_at":"2026-07-02T21:27:24.658051Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.21046","last_updated":"2026-01-16T20:59:08Z","snapshot_observed_at":"2026-08-01T06:32:44.461162Z","submitted_at":"2025-07-28T17:59:05Z","title":"A Survey of Self-Evolving Agents: What, When, How, and Where to Evolve on the Path to Artificial Super Intelligence","version":4},"cited_work":{"arxiv_id":"2507.21046","doi":"10.48550/arxiv.2507.21046","metadata_source":"pith","pith_arxiv_id":"2507.21046","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"A Survey of Self-Evolving Agents: What, When, How, and Where to Evolve on the Path to Artificial Super Intelligence","venue":"cs.AI","work_id":"f5de9511-98bf-411c-9eba-e8b7a914ec18","year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"cited_paper":"/paper/2507.21046","citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:60b6d81e7b7ad8d6b2bcfb36f078c3f5eab3930966bff9b9efeeb2a1f8dd0672","observation_id":"c6e7d971-bf8e-4901-880c-f462f8fad1ab","resolution":{"observed_at":"2026-07-02T21:27:24.619935Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-01T10:08:10.122082+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-01T10:08:10.122082+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T19:44:40.810385Z","title":"Carlin, Hal S","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:281817f1cc065956479a4ae68dd0eced546c8fb287925848899ae626a8dcfa01","observation_id":"96288665-809c-4660-a5ae-e3da39ef4f6b","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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":"2511.03094","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-02T21:27:24.667747Z","title":"Alas: Transactional and dynamic multi-agent llm planning.arXiv preprint arXiv:2511.03094, 2025","venue":null,"work_id":"e2cac29f-ddde-4589-bd85-53f3fdd295c5","year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:4452e3692fc4e3b6bf1a22e04ab57679e0d7cfab167e6df163ee872af25932db","observation_id":"ca0bf542-8fe0-4641-8721-e34bd492a8c2","resolution":{"observed_at":"2026-07-02T21:27:24.669273Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-01-22T15:19:35Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","version":2},"cited_work":{"arxiv_id":"2501.12948","doi":"10.1016/j.artmed.2024.103001","metadata_source":"pith","pith_arxiv_id":"2501.12948","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","venue":"cs.CL","work_id":"e6b75ad5-2877-4168-97c8-710407094d20","year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"cited_paper":"/paper/2501.12948","citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:97735406ed60caa9f2fd0dcf49a2d00c012c85f9c75b30b7f55da600347fb2ea","observation_id":"62f4e12a-79f1-4946-9002-3d0cae0d7333","resolution":{"observed_at":"2026-07-02T21:27:24.668158Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T19:44:40.810385Z","title":"HiA- gent: Hierarchical working memory management for solving long-horizon agent tasks with large language model","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:eae64a4b24eee6a2ec027a105afd50246b0edbb39d4f8d5b7c15e0a4667011d7","observation_id":"fbe88567-fce0-43ba-a217-6ca71fc4f104","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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":"10.18653/v1/2025.acl-long.1575","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"H i A gent: Hierarchical Working Memory Management for Solving Long-Horizon Agent Tasks with Large Language Model","venue":null,"work_id":"08ef733f-6e9c-46fe-a9f0-c5e6474e558c","year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:f2210450345bf7b2a701c15e53bbd8aa44a4e02f34677635dfd8cc6b2e2365ee","observation_id":"c144852a-f141-4365-bf62-be7e8cbae7d1","resolution":{"observed_at":"2026-06-27T19:51:12.588723Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-05-20T23:23:12.476126+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-20T23:23:12.476126+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2025.naacl-demo.17","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Xu, Tianyue Ou, Shuyan Zhou, Jeffrey P","venue":null,"work_id":"42e3cba8-2e55-4a41-b945-85b96afaa0f6","year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:d54aa6123d5d921495d6937a3156f6f8a566b38a8d7b2b9832d71a96d04ef2f9","observation_id":"74e2c839-fc28-4cee-a196-ccc3094fa7b7","resolution":{"observed_at":"2026-06-27T19:51:12.602445Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T19:44:40.810385Z","title":"Jiang, Wenda Li, Szymon Tworkowski, Konrad Czechowski, Tomasz Odrzygó´ zd´ z, Piotr Miło´s, Yuhuai Wu, and Mateja Jamnik","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:7687cbd0898f5d0579076325ebe73bd00adb3f971828f8a04c661d5ec751c115","observation_id":"03621250-69d9-4f62-9910-e7448f5f754b","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.15124","last_updated":"2025-04-14T22:39:09Z","snapshot_observed_at":"2026-07-06T19:55:37.400185Z","submitted_at":"2024-11-22T18:44:04Z","title":"Tulu 3: Pushing Frontiers in Open Language Model Post-Training","version":5},"cited_work":{"arxiv_id":"2411.15124","doi":"10.48550/arxiv.2411.15124","metadata_source":"pith","pith_arxiv_id":"2411.15124","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Tulu 3: Pushing Frontiers in Open Language Model Post-Training","venue":"cs.CL","work_id":"28c9dbea-056a-48c2-8000-85f809827e45","year":2024},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"cited_paper":"/paper/2411.15124","citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:5869e993673f4d5d691bf3839f3a227173c527433fe670ab99166ba98c7d0765","observation_id":"6153ebf3-81b1-4cb1-97ba-a8ba155a1be6","resolution":{"observed_at":"2026-07-02T21:27:24.636032Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-05-23T21:53:00.522112+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T21:53:00.522112+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T19:44:40.810385Z","title":"Visual vs","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:20363d22e63e25acc24ae0faba84f3e3dc00c801bbdf74756d33a0f51320aa36","observation_id":"053e09a6-e635-4f5e-ae7e-14e21c9e1598","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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-06-27T19:44:40.810385Z","title":"ROBULA+: An algorithm for generating robust XPath locators for web testing.Journal of Software: Evolution and Process, 2016","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:82cb69a943b0f59d35ac51f923d767e68eed852bc07d86b71c42474d293103c4","observation_id":"13bb7af6-d717-4ac5-b76a-cf8490bb261a","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2005.01643","last_updated":"2020-11-01T23:50:25Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2020-05-04T17:00:15Z","title":"Offline Reinforcement Learning: Tutorial, Review, and Perspectives on Open Problems","version":3},"cited_work":{"arxiv_id":"2005.01643","doi":"10.1613/jair.1.17526","metadata_source":"pith","pith_arxiv_id":"2005.01643","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Offline Reinforcement Learning: Tutorial, Review, and Perspectives on Open Problems","venue":"cs.LG","work_id":"597b6f46-d60f-451f-8f34-7d32876a9014","year":2020},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"cited_paper":"/paper/2005.01643","citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:65abb9c1de6b5862b9ddfcde5645e2791cf7d31f39ff41cbdd95c933dc34602e","observation_id":"a905878d-d386-459e-b1aa-052fc3b12c1a","resolution":{"observed_at":"2026-07-02T21:27:24.646083Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T19:44:40.810385Z","title":"ST- WebAgentBench: A Benchmark for Evaluating Safety and Trustworthiness in Web Agents, May","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:34695f6bb1ffe531afb9f3bde63a52e494f62c0f2c1867a3349427c6360f9dd2","observation_id":"3b6be7fd-6b24-4835-ab99-cce6bb24ccc3","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.06703","last_updated":"2026-06-04T09:59:28Z","snapshot_observed_at":"2026-08-05T07:12:18.604381Z","submitted_at":"2024-10-09T09:13:38Z","title":"ST-WebAgentBench: A Benchmark for Evaluating Safety and Trustworthiness in Web Agents","version":7},"cited_work":{"arxiv_id":"2410.06703","doi":"10.48550/arxiv.2410.06703","metadata_source":"pith","pith_arxiv_id":"2410.06703","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"St- webagentbench: A benchmark for evaluating safety and trustworthiness in web agents","venue":"cs.AI","work_id":"02dc69db-8db6-48b1-ac24-4004642dfa94","year":2024},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"cited_paper":"/paper/2410.06703","citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:e3fcb8bcf7c1dacc2c7ba6bc7af37abf73721f8d9549e61fe3987d2399fd5554","observation_id":"41b4061a-b646-49fd-934c-01e2df322265","resolution":{"observed_at":"2026-07-02T21:27:24.624551Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2511.00628","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-08T23:05:44.296677Z","title":"AgentGit: A Version Control Framework for Reliable and Scalable LLM-Powered Multi-Agent Systems, November 2025","venue":null,"work_id":"6b218c4a-a503-47ac-b290-f880cdfb2df3","year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:0a49317da0485f8e1f24394ea766819961cb8772937df877d7ec7cb6fe7a95c4","observation_id":"572a0b15-d645-4683-ba26-d09ac0bdca5c","resolution":{"observed_at":"2026-07-02T21:27:24.633663Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.00872","last_updated":"2025-04-20T16:01:12Z","snapshot_observed_at":"2026-08-05T16:11:26.145340Z","submitted_at":"2024-09-01T23:36:34Z","title":"Self-evolving Agents with reflective and memory-augmented abilities","version":2},"cited_work":{"arxiv_id":"2409.00872","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2409.00872","snapshot_observed_at":"2026-07-03T20:58:57.380235Z","title":"arXiv preprint arXiv:2409.00872 , year=","venue":null,"work_id":"a2736c45-752c-4db6-b704-8c313d03f149","year":2024},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"cited_paper":"/paper/2409.00872","citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:d855e192694c6537188928443ace189c2c234d60baf92c95b7936ed26823238a","observation_id":"d65677fe-8cc9-4e31-9273-323b089b514a","resolution":{"observed_at":"2026-07-02T21:27:24.632127Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.02977","last_updated":"2025-12-03T03:33:35Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-09-04T15:59:41Z","title":"Large Language Model-Based Agents for Software Engineering: A Survey","version":2},"cited_work":{"arxiv_id":"2409.02977","doi":"10.48550/arxiv.2409.02977","metadata_source":"pith","pith_arxiv_id":"2409.02977","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Large Language Model-Based Agents for Software Engineering: A Survey","venue":"cs.SE","work_id":"65bf4f26-a45c-4639-841f-9f865ef1030e","year":2024},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"cited_paper":"/paper/2409.02977","citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:a3465f7f34583fb0cfcd5bb53141fe437f9d121dc8b7e205c1e92ad71815b904","observation_id":"0b2a38cc-a4c9-401b-bc9b-5fac0220c3cf","resolution":{"observed_at":"2026-07-02T21:27:24.670592Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2510.14308","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-02T21:27:24.670337Z","title":"Reuseit: Synthesizing reusable ai agent workflows for web automation","venue":null,"work_id":"6093eaf8-41a7-4681-b34e-73fefe4da32b","year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:f1eada24ccd451d97c818fa57ae53b6e0660eef4eabcd32533c6cc13063ac90d","observation_id":"29d167da-025c-4c2e-9868-21950ebd5942","resolution":{"observed_at":"2026-07-02T21:27:24.671811Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2025","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T11:37:03.093376Z","title":"In: Christodoulopoulos, C., Chakraborty, T., Rose, C., Peng, V","venue":null,"work_id":"e6d6ecae-3575-45e2-8c99-76359a926a1a","year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:df5adca4f094f6ba415287ac3ef1e67b8dcc0126de1b53d3b581d6894a715885","observation_id":"eb19fd02-b3ed-40e9-a39d-2201c81e46e4","resolution":{"observed_at":"2026-06-27T19:51:12.590751Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-03T20:08:10.343755+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-03T20:08:10.343755+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.10134","last_updated":"2023-10-16T07:17:27Z","snapshot_observed_at":"2026-07-06T16:33:34.184498Z","submitted_at":"2023-10-16T07:17:27Z","title":"CLIN: A Continually Learning Language Agent for Rapid Task Adaptation and Generalization","version":1},"cited_work":{"arxiv_id":"2310.10134","doi":"10.48550/arxiv.2310.10134","metadata_source":"arxiv_reference","pith_arxiv_id":"2310.10134","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Clin: A continually learning language agent for rapid task adaptation and generalization","venue":"arXiv (Cornell University)","work_id":"0fc7b135-d90d-461b-9ba7-f368a5158503","year":2023},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"cited_paper":"/paper/2310.10134","citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:c951de37a3f38e2115d9f5dccb8da71fda8c502a527bea9923601125cc666800","observation_id":"8db86374-9b45-4769-a537-db6a22858972","resolution":{"observed_at":"2026-07-02T21:27:24.678375Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2602.14849","last_updated":"2026-05-29T14:05:41Z","snapshot_observed_at":"2026-08-06T17:07:11.391591Z","submitted_at":"2026-02-16T15:46:19Z","title":"Atomix: Timely, Transactional Tool Use for Reliable Agentic Workflows","version":2},"cited_work":{"arxiv_id":"2602.14849","doi":"10.48550/arxiv.2602.14849","metadata_source":"pith","pith_arxiv_id":"2602.14849","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Atomix: Timely, Transactional Tool Use for Reliable Agentic Workflows","venue":"cs.LG","work_id":"87790ef3-48d8-4d81-b174-f7b1cd4a57f4","year":2026},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"cited_paper":"/paper/2602.14849","citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:719afa2b76a660d3bf566a246ca83981f6b882dcdbae4f7254da77b75fb5b65e","observation_id":"ee5262bc-ad32-4bae-bda3-8e7aa9bd44e5","resolution":{"observed_at":"2026-07-02T21:27:24.655024Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T19:44:40.810385Z","title":"Le, Samira Daruki, Xiangru Tang, Vishy Tirumalashetty, George Lee, Mahsan Rofouei, Hangfei Lin, Jiawei Han, Chen-Yu Lee, and Tomas Pfister","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:a621dc2b581dabfe60e27d1e07a7baa29d00872de0d3154c3d9ce6aa451cfd5d","observation_id":"452c3e68-a629-49e3-af01-4d5f53ed2db2","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.08560","last_updated":"2024-02-12T18:59:46Z","snapshot_observed_at":"2026-08-03T06:31:15.541423Z","submitted_at":"2023-10-12T17:51:32Z","title":"MemGPT: Towards LLMs as Operating Systems","version":2},"cited_work":{"arxiv_id":"2310.08560","doi":"10.48550/arxiv.2310.08560","metadata_source":"pith","pith_arxiv_id":"2310.08560","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"MemGPT: Towards LLMs as Operating Systems","venue":"cs.AI","work_id":"2698f5ad-c84c-40ca-b839-0912dae10ba2","year":2023},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"cited_paper":"/paper/2310.08560","citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:a96e6932e07c4d32333cf1a9d2f04b6e31af5bf12acb383555374b19b247b60a","observation_id":"7a582d41-93d5-442b-81f0-e132768dbdd8","resolution":{"observed_at":"2026-07-02T21:27:24.627260Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-07-13T15:49:35.543803+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-13T15:49:35.543803+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2512.04367","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T02:47:50.377516Z","title":"9 Gerald J Popek and Robert P Goldberg","venue":null,"work_id":"3da25218-8494-4377-9eee-6d114f2231af","year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:d559ccdc6ef1c5d02e2a2151aff36c05fa42fb155a7508418a02c30edc094c9d","observation_id":"59cd4d2b-8ba8-4f73-a6f2-b01d519939f9","resolution":{"observed_at":"2026-07-02T21:27:24.631131Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.13996","last_updated":"2024-01-25T07:47:49Z","snapshot_observed_at":"2026-08-03T10:55:26.752756Z","submitted_at":"2024-01-25T07:47:49Z","title":"Investigate-Consolidate-Exploit: A General Strategy for Inter-Task Agent Self-Evolution","version":1},"cited_work":{"arxiv_id":"2401.13996","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2401.13996","snapshot_observed_at":"2026-07-02T21:27:24.661817Z","title":"Preprint","venue":null,"work_id":"f6d10aab-3f49-4ca9-80c1-885e7111c974","year":2024},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"cited_paper":"/paper/2401.13996","citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:07e931d633749a4bb847e0daf4a37f48305a53c985baa47ec0cf6c696dbb285f","observation_id":"584dcff5-e66b-4326-a961-871778b05fb4","resolution":{"observed_at":"2026-07-02T21:27:24.663433Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2023.332094","doi":"10.1109/access.2023.3320941","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Stability","venue":"IEEE Access","work_id":"95198bac-65c5-494c-a500-c4f479aa411f","year":2023},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:53c9930162f15734fa96eee1cb2f65ea27d175af4902d868ee353055624ad413","observation_id":"175b8821-9932-4323-92bd-e0f306284a0f","resolution":{"observed_at":"2026-06-27T19:51:12.595706Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T19:44:40.810385Z","title":"Visual web test repair","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:ff67d5b3e2507dc3fb1292e3f585a9d93fa8328527280cc79c84b68324138bce","observation_id":"8657829c-98ef-4b0f-9937-72149388fc60","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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-06-27T19:44:40.810385Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:eef9b8a6ca00ab8ff97182cf982e0c0a47eab02b69714c9e4c2230b7890c6d44","observation_id":"3f9e0367-7426-42f2-8655-58f1292bb547","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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-06-27T19:44:40.810385Z","title":"In prospect and retrospect: Reflective memory management for long-term personalized dialogue agents","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:2382ded96b0c75c3887f0c4e2c3eab519a792c247a5c153f6be5b6de029c83c5","observation_id":"b68d2a8d-590b-42ed-aac9-b20f3267526a","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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":"10.18653/v1/2025.acl-long.413","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In prospect and retrospect: Reflective memory management for long-term personalized dialogue agents","venue":null,"work_id":"a367ed3e-36f0-4362-8f55-7fdf4f04e215","year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:f59d3f208dc7da2026b79e456110fe1b97d77f2da8489cd00ebbdcabd7992bd3","observation_id":"f7da6b0c-a303-40ec-a1ec-1c7a366ef0b6","resolution":{"observed_at":"2026-06-27T19:51:12.608333Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T19:44:40.810385Z","title":"ChemAgent: Self-updating memories in large language models improves chemical reason- ing","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:8c877a0a8f66fbf9066a8904fa15a0c20a26950fd1405f6d3a45757c7b0ba469","observation_id":"0c04d012-1901-4d48-866c-121019dbd41a","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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":"10.18653/v1/2025.findings-acl","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"findings-emnlp.695/","venue":null,"work_id":"b6b6737b-a279-49c3-a1f1-17e63a4f0704","year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:efb3436cb53da7889737974f50b8f15df763b02d9dcb656493ea4e77ef28df91","observation_id":"3d6e393f-cd30-4892-8334-8bb750373cd5","resolution":{"observed_at":"2026-06-27T19:51:12.600335Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T19:44:40.810385Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:c95c3c418f9e9a5620b1a1ab1691a84d07f635834b7f94d22043e7bf1707fcbb","observation_id":"ecf955cf-eb10-4759-aa7e-290b19281c25","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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-06-27T19:44:40.810385Z","title":"Thomas, Georgios Theocharous, and Mohammad Ghavamzadeh","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:77bca95d646a703ca061c7030146a8d9cc13c275470f1aef45d1e9695283e242","observation_id":"768ab2fe-3fca-4da8-960e-2a264ed156e4","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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-06-27T19:44:40.810385Z","title":"V oyager: An open-ended embodied agent with large language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:f79282be0701ccf57cc3f32e64d290a4855f016e9ed9c3d12d5a6c4f8a0f233c","observation_id":"b928a4cc-3206-4b23-b451-cadd28c0853e","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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-06-27T19:44:40.810385Z","title":"Executable code actions elicit better LLM agents","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:c6bd5957bff621e7ad8c66a80908fee280b6d2c97ea4695be224d1d207fb0e9c","observation_id":"0860bcb1-f2bb-4521-a23a-b334462084c5","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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-06-27T19:44:40.810385Z","title":"TroVE: Inducing verifiable and efficient toolboxes for solving programmatic tasks","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:333a32dd0b3b6428fbfb384be1077ffeb6357da5c2c9a1c431c239be7489a7cc","observation_id":"33a9e0c4-76a0-4d23-a951-094d29976698","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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-06-27T19:44:40.810385Z","title":"Agent workflow memory","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:94cecdbbef8b568ee2cf685cea5bf6a3286d2ea1313b88c50477e2135c15f1c2","observation_id":"59816ff2-ee05-4079-a3db-7f68b9c9d59f","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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-06-27T19:44:40.810385Z","title":"Jiang, Wenda Li, Markus N","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:753aef27ae0d77792a26fc3d379a63b7c0a607c636297a039435af4802174edd","observation_id":"c5a325d1-1886-466e-9e73-2fd884da1f7a","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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-06-27T19:44:40.810385Z","title":"OS-Copilot: Towards generalist computer agents with self- improvement","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:75b93bace000ca9e18fed0de5076ad2adf3cb27d4060dead2ca2bc0089c01bee","observation_id":"b628e14b-2f15-4ffd-beba-782365990392","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.12110","last_updated":"2025-10-08T01:46:37Z","snapshot_observed_at":"2026-08-03T02:27:06.991396Z","submitted_at":"2025-02-17T18:36:14Z","title":"A-MEM: Agentic Memory for LLM Agents","version":11},"cited_work":{"arxiv_id":"2502.12110","doi":"10.48550/arxiv.2502.12110","metadata_source":"pith","pith_arxiv_id":"2502.12110","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"A-MEM: Agentic Memory for LLM Agents","venue":"cs.CL","work_id":"3b98feb2-fdb1-479a-bbe4-2c298a4592e2","year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"cited_paper":"/paper/2502.12110","citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:ed5d384239f43624787e6613474ad0d164518b9ec56e236f3ac3fa6319f99a83","observation_id":"232a9129-5cbe-4172-9c01-82e2ec564bb7","resolution":{"observed_at":"2026-07-02T21:27:24.673057Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2503.07044","doi":"10.48550/arxiv.2503.07044","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Datawiseagent: A notebook-centric llm agent framework for adaptive and robust data science automation, 2025","venue":"ArXiv.org","work_id":"66fe5dc2-7450-496e-a6fe-12e4515ae4f9","year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:d4127bf4948b29018f5212d5f49f490691215a7b5f7362f959e3997b753bac83","observation_id":"71a78724-d351-4df7-8dbe-52f4cc58d073","resolution":{"observed_at":"2026-07-02T21:27:24.675656Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T19:44:40.810385Z","title":"A survey on the memory mechanism of large language model based agents,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:95e76777f921beb51c64203e6d184ac910f18284a33cf5e8f23a674f6fd3688f","observation_id":"d1bfa1d3-dcb9-481b-ad14-66b49ea400ad","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.13501","last_updated":"2024-04-21T01:49:46Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-04-21T01:49:46Z","title":"A Survey on the Memory Mechanism of Large Language Model based Agents","version":1},"cited_work":{"arxiv_id":"2404.13501","doi":"10.48550/arxiv.2404.13501","metadata_source":"pith","pith_arxiv_id":"2404.13501","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"A Survey on the Memory Mechanism of Large Language Model based Agents","venue":"cs.AI","work_id":"86a3cea2-e600-466a-bf9e-6e737a41ed6a","year":2024},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"cited_paper":"/paper/2404.13501","citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:139ea6699752432f575441871ab1b22f8f5d8ff1809dbfc0f9e59345f425d00c","observation_id":"05587c81-4d82-4888-ab62-efdcfce47600","resolution":{"observed_at":"2026-07-02T21:27:24.643441Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T19:44:40.810385Z","title":"You only look at screens: Multimodal chain-of-action agents, June 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:d3e11240ef05813d6d35bbb4db8cc0d6803fff227163699a4ef3986b33521f99","observation_id":"3bdd9db7-a9f7-4d82-9018-b005f1832a39","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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":"10.1609/aaai.v38i17.29936","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"target_host","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","work_id":"c24b39e1-f015-4853-8a4f-a92f625168dd","year":2024},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:5d2b82b97414ebb5a007d1939ab9d7f298e5a57f2649f2553bd3d729e8d04ada","observation_id":"bd5f16f6-4626-4816-8381-6a8a7b8d9ec0","resolution":{"observed_at":"2026-06-27T19:51:12.597961Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-01T10:38:13.730438+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-01T10:38:13.730438+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.07079","last_updated":"2025-04-09T17:51:50Z","snapshot_observed_at":"2026-07-06T21:06:50.056353Z","submitted_at":"2025-04-09T17:51:50Z","title":"SkillWeaver: Web Agents can Self-Improve by Discovering and Honing Skills","version":1},"cited_work":{"arxiv_id":"2504.07079","doi":"10.48550/arxiv.2504.07079","metadata_source":"pith","pith_arxiv_id":"2504.07079","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"SkillWeaver: Web Agents can Self-Improve by Discovering and Honing Skills","venue":"cs.AI","work_id":"72b1aff0-91c3-4500-abc9-22129ca67748","year":2025},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"cited_paper":"/paper/2504.07079","citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:9061ef07e55b7d17e2fef9b340fe66102dde0f26cf8dcc80ca57d7fff3ed119f","observation_id":"e034f4d1-047c-45c1-ab73-89aadf2f6cd5","resolution":{"observed_at":"2026-07-02T21:27:24.665842Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T19:44:40.810385Z","title":"Synapse: Trajectory-as-exemplar prompting with memory for computer control","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:94e274aa0e0a8a933c38771b8010fedb5f11b16f6909a346b260d769ecc42a30","observation_id":"a7a09b91-2371-4a3a-88bf-1535c4b41bf9","resolution":{"observed_at":"2026-06-27T19:44:40.810385Z","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":"10.1609/aaai","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-08T02:04:26.079898Z","title":"Louis, G","venue":null,"work_id":"9f349f1f-0e39-446f-8ac6-694a06c25de5","year":2026},"citing_paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-06-27T19:44:40.810385Z"},"links":{"citing_paper":"/paper/2606.08049"},"observation_digest":"sha256:3fc14d7c60266f8ab07c55ab96e2891acf2f6958bccbcfd25a2df53d45902fb9","observation_id":"5d679ba7-bf63-4bfd-82e9-45c9e4f60893","resolution":{"observed_at":"2026-06-27T19:51:12.604649Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2606.08049","last_updated":"2026-06-06T08:27:18Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-06T09:53:57.989406Z","submitted_at":"2026-06-06T08:27:18Z","title":"SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows"},"reference_resolution":{"displayed":56,"state_counts":{"malformed_identifier":1,"metadata_mismatch":13,"parse_uncertain":0,"unresolved":26,"verified_exact":16,"verified_fuzzy":0},"total_outbound_references":56},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 56 of 56 outbound references and 1 inbound Pith citation observation for arXiv:2606.08049."}