{"as_of":"2026-08-05T06:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:65096345292834cb526b6acbe826f284a2aca93ddf2048b09364dcdca18ebb5c","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-04T06:34:03.388597+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-02T11:56:12.166666Z","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-03T00:11:53.091894Z","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:74e702de45ce01242a50590b88c5f7824572596bb079eb30f04327545550a796","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-02T11:56:12.166666Z","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:7f335e667c10f5677957fe9dd80db90b3fd5699af214b4b7b21805f14f944e90","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:414b12503dcc5d5def45bc431db09b98b14eb7658e609a148b6d78e3b031381b","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-02T11:56:12.166666Z","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:f653957bb5004f9ce2c7005dd21a10504a72ad5f42c71c08e1e6210b135f96f6","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-02T11:56:12.166666Z","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:a54cfee1df19cecefc16c1d280888720edf0f1421aa05d4d33da69161de21df4","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-02T11:56:12.166666Z","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:4483ece7160996cd78ea69be885de9aa1a0a435039a062d2b1abc02f6b988502","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-02T11:56:12.166666Z","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:2a390bf46753a90d2ccbe903bad0c1f191898ceb13d069f32e6dcf0e61518acd","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:180cb8828e598a813cb8d1bf2689298af290dc3c2defc0c6bae9defb1d65072e","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:2cc4cac00630a9ee3f3974c99869b3d24af8e6d1c3ca525211c24288159087c8","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+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-04T06:33:57.428241+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-02T11:56:12.166666Z","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:8f236f96baf107a5a41a710d403bbb5153b6c006a0b61dfc2ea1c56c8c39d7b6","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-02T11:56:12.166666Z","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:e5a8dec6b4613feae290796704e22b8855096a2f1b886b364c600ffc28380945","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:17e1f553b8ce0d785a6daad03cbd4d82bea49ff2e49f85fca96d8fc8030c78cd","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:7de5c0f2e9c0c3412a08916a00264ad2bc0485fad6e38d35b6e5ae815ab5bbc7","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-02T11:56:12.166666Z","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:d457bee615618c580272ae29e4615a78b3db9fa34c5c318e55ad6769e8846d56","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+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-04T06:33:57.428241+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-02T11:56:12.166666Z","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:fadcc027fb18455f6e6455c928c5d3a0b2a758a138eeb9c1eab4007a88a6aa91","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:e834de31e236682ffbe9efe658f0aced0afe419047917e44087268a95c73cd8c","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-02T11:56:12.166666Z","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:730008b999830e5d3b682d63234af2439da5f1e1d38feb6ae9adb01103a3e9d5","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+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-04T06:33:57.428241+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-02T11:56:12.166666Z","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:4fb192c73e5c658f5c6676c6e72309f7fd7c12f1144cc58e0b00567826af0ea2","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-02T11:56:12.166666Z","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:ea689bee0411961dc9aa86c394b23b10b7265562efc5c5af8a947b68e721d3fa","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-02T11:56:12.166666Z","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:f390e97d9f047924d9d1f5926cbe56f0934706401a14730bd146368497ce124c","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:e824ad48a36264d82272c17ded70703bb39e6ec4e33cc6e4e3528a530d3f8390","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-07-06T19:30:17.275798Z","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-02T11:56:12.166666Z","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:10365431c386c5f0addb02345922f3d40495e0241faa2f01aa11db3b2d54ae92","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:abe4b3919095d491f838f1fd5dd65234cd492087377faac14fa114e2a3228848","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-07-06T19:09:01.748727Z","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-02T11:56:12.166666Z","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:0325f6115cb570b85098e99d378e63c4b684453f0d954e0710e730d0a8bdf230","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:0c66d4e92450371d583cfcc9a7fdf1e7272921b555fa67b7ffb7d864e1897726","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:154f16c3906f06e1b424f69edb4801e2707a54c8139098d91778afda86f9977a","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:74665c8b568ae7dda97cfb89c2a4c857af81f87c1bf42595a81a9df9eaf6c2ee","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+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-04T06:33:57.428241+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-02T11:56:12.166666Z","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:bc4f3bd5e63040828b6bc20530d534432d468148132ea8e999ed6da3b9f042f9","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T23:06:01.640112Z","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-02T11:56:12.166666Z","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:0a142054499b7acc1e5f6885f2226a38713ca7a78ca9d33da97270a5af751e11","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:f0698c79788eb9d906c230bb0d2339a50feba830f8eaba47dbbab403c3bb156e","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-02T11:56:12.166666Z","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:4a69e46d9cbe06b5f45d48ccec1d662fd0c8976b2861df97785befbe70191c18","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+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-04T06:33:57.428241+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-02T11:56:12.166666Z","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:ede2b28d05fd44c71d2b80dc850a184653bd8d574210042c5c93550499a7bac6","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:a6ab578d8e8b66c5f87977d0cde6a1b7aa6ea219eb2f0b9129993eef609a5944","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:51d820487cf1090069cac94ff15af931d629d994daec4dce3acd23b7ca4ac180","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:bfab7698d43afa1e51715113fae43fd4e82f20dc4643068dcfd1a24d23ae902c","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-02T11:56:12.166666Z","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:e6f12cc9eb1fe48a3fedee05364706d994fa3886dc9b46f96f0b78012cc5c2dc","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-02T11:56:12.166666Z","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:b116e772d7a02913aaafe95169a743d6a1a0b1ca3fad8af3332a303c47705ec2","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-02T11:56:12.166666Z","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:d0872e986a7d9ff3dee19665f23830b3e42582ca0ec01d873b5673ab18782a20","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:c33ef28de7227b30d85c7148f06ac323bd5fd83ed7e31782189951d66cb4505b","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-02T11:56:12.166666Z","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:59bb4df873e1733e8872442c6322df80ecb1d6976279b99b898dc57af0c2b9c6","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:e2cc686f3aa408979d94ff9466204e81a7ee5570b0c789e8994814dc11b0813b","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-02T11:56:12.166666Z","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:c9e071a69faab51ea76df1843a42b15944149921c1aa125b8d38c2917ae8e4e3","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-02T11:56:12.166666Z","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:d85e80159a8fc0ab0bbc080375000279377d59295d8269108d2b922c92a373f2","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-02T11:56:12.166666Z","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:54d64d20f2371970fa7a43bdb5653a5b519189cb9a374f7a6f7a959cd59edbf7","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-02T11:56:12.166666Z","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:f4628c0d1e6d70a2aed966b02c2f4b3d4282e04f52859c4b682bac5598c1ce62","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-02T11:56:12.166666Z","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:781225643d59893c98d966fcfef688343ba1f53feed09489df9652d663fe8909","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-02T11:56:12.166666Z","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:d8c53e5a8c6e5ea85af95559f363b189ae4a0184e9388d17b39c7e5a4ad764b7","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-02T11:56:12.166666Z","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:75b588baa90a234f757426ad1b25305527bc8bc3faa23dc116241a6e29efae5d","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-02T11:56:12.166666Z","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:3ac66530132b4ec99b605f9818c75d54b03a02e905ab1e4598dfaa0e6653aa77","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:567df7eb72ca393983695c1d1d39395d232b6f395b609964404f2f05b3c63ca1","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:5ae84bef21091ee274fcead0dbfc08df68fa0b681c77550aa53201d435e2b937","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-02T11:56:12.166666Z","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:ce337fe1990256172751aac17d83cc8fb5972419ce40351732c7084174e12f0e","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:0a211e9b76da1bb0caf40726559f24340ec910e8ba7aaa024d71e87c00b19506","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-02T11:56:12.166666Z","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:8cfc66b201d481fb99a67b1993d828e86f033a189ca146ef9844b7c2de2a2a3b","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+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-04T06:33:57.428241+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-02T11:56:12.166666Z","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:0e33c0526fb3f5d2c71bb8202c05440cc5b2d617aa7aa5976f5a5e33e5de6dbd","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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:9982966a36680be34003e317d0d7b28994a92585d7a67084e70d8f5968c5a22f","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-02T11:56:12.166666Z","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:a9a9d6547d5dc636723596ff4e26b8867be2441a439fc97bf0ea9ce6d5852cbb","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T11:56:12.166666Z","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-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"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."}