{"as_of":"2026-08-20T00:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:437dd942f86b934f748af12761a9b85ffb7e601c0c06138eb1788d11b5c98808","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":21,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":21,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":21,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":21,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T23:46:05.597962Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-10T13:57:07.063734Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-08-12T10:20:46.848898Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.19352","last_updated":"2025-01-01T00:03:24Z","snapshot_observed_at":"2026-08-15T20:46:10.185149Z","submitted_at":"2024-11-28T19:53:39Z","title":"OMuleT: Orchestrating Multiple Tools for Practicable Conversational Recommendation","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-12T10:20:46.848898Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2411.19352"},"observation_digest":"sha256:79cb7e72fd86f2ddd2f9d25e761a891d2fb5a6e4e63b7c560e1d0dd92af1e988","observation_id":"887388df-fa6a-4dbc-825c-f83f78e5fe72","resolution":{"observed_at":"2026-08-12T10:20:46.848898Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":"2401.12869","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-07-10T13:57:07.063734Z","title":"Trove: Inducing verifiable and efficient toolboxes for solving programmatic tasks","venue":"cs.AI","work_id":"48eb5d0d-cdbc-4790-8e30-eb9029a0e226","year":2024},"citing_paper":{"arxiv_id":"2412.04272","last_updated":"2026-04-13T04:41:02Z","snapshot_observed_at":"2026-08-14T03:34:15.370681Z","submitted_at":"2024-12-05T15:54:16Z","title":"PoTable: Towards Systematic Thinking via Plan-then-Execute Stage Reasoning on Tables","version":5},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-23T08:22:15.703394Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2412.04272"},"observation_digest":"sha256:fa28a2800b360b4b1015875575e463337b1818a7f4680d12f1fc0f13f435a5a5","observation_id":"df8ba968-8834-43a4-b2cd-bb5cdc3d076e","resolution":{"observed_at":"2026-05-23T08:22:44.123121Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-08-10T22:08:09.708393Z","title":"Trove: Inducing verifiable and efficient toolboxes for solving programmatic tasks,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.02765","last_updated":"2025-01-06T05:15:59Z","snapshot_observed_at":"2026-08-14T12:32:34.328935Z","submitted_at":"2025-01-06T05:15:59Z","title":"Visual Large Language Models for Generalized and Specialized Applications","version":1},"reference_index":209,"source":"pdf_text","source_observed_at":"2026-08-10T22:08:09.708393Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2501.02765"},"observation_digest":"sha256:5417bcb241b50f34f77900ae5ecbe02bd644bba4a4bebe3f704378a2fad023cf","observation_id":"17346137-45c0-4028-8b81-250e67810903","resolution":{"observed_at":"2026-08-10T22:08:09.708393Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-08-15T23:46:05.597962Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.03973","last_updated":"2025-05-06T20:50:27Z","snapshot_observed_at":"2026-08-17T07:57:00.250631Z","submitted_at":"2025-05-06T20:50:27Z","title":"Divide, Optimize, Merge: Fine-Grained LLM Agent Optimization at Scale","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-15T23:46:05.597962Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2505.03973"},"observation_digest":"sha256:8b2a12ab7d13c432cdd41df741477c0bee1ad6d1675b534a872a1ed3e2e01dfa","observation_id":"992d41bb-84e1-4251-8556-c5bc4ec8a9de","resolution":{"observed_at":"2026-08-15T23:46:05.597962Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-08-07T13:59:35.297776Z","title":"Trove: Inducing verifiable and efficient toolboxes for solving programmatic tasks.arXiv preprint arXiv:2401.12869, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20286","last_updated":"2025-05-26T17:58:53Z","snapshot_observed_at":"2026-08-17T12:00:38.078645Z","submitted_at":"2025-05-26T17:58:53Z","title":"Alita: Generalist Agent Enabling Scalable Agentic Reasoning with Minimal Predefinition and Maximal Self-Evolution","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T13:59:35.297776Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2505.20286"},"observation_digest":"sha256:1c8249cebf7d99a60d955a777cab0dfde03b1153b137a0ce14182bde7b62e8d3","observation_id":"43b9209e-c600-4ecb-bd8a-e7604d7cc854","resolution":{"observed_at":"2026-08-07T13:59:35.297776Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-08-07T13:53:14.789274Z","title":"Trove: Inducing verifiable and efficient toolboxes for solving programmatic tasks","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.21577","last_updated":"2025-08-25T13:40:36Z","snapshot_observed_at":"2026-08-17T02:26:20.552658Z","submitted_at":"2025-05-27T08:35:05Z","title":"RepoMaster: Autonomous Exploration and Understanding of GitHub Repositories for Complex Task Solving","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T13:53:14.789274Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2505.21577"},"observation_digest":"sha256:577098a68cc0be4001e033d55873039ec2616b962f187745f9c0a2ac07c63f6d","observation_id":"cfd8fb98-1c71-4943-bef3-b172ea6dba79","resolution":{"observed_at":"2026-08-07T13:53:14.789274Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-08-07T06:03:45.698116Z","title":"Trove: Inducing verifiable and efficient toolboxes for solving programmatic tasks","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.06137","last_updated":"2025-06-06T14:52:19Z","snapshot_observed_at":"2026-08-17T16:41:38.672085Z","submitted_at":"2025-06-06T14:52:19Z","title":"Table-r1: Self-supervised and Reinforcement Learning for Program-based Table Reasoning in Small Language Models","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T06:03:45.698116Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2506.06137"},"observation_digest":"sha256:9969162918584bb343a61d4650ec71089991fe7a68d4aeda7cec319d9d94d297","observation_id":"b19706c9-e97f-4f79-b1ff-ab6551305e58","resolution":{"observed_at":"2026-08-07T06:03:45.698116Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-08-06T17:05:19.254496Z","title":"Trove: Inducing verifiable and efficient toolboxes for solving programmatic tasks","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.22069","last_updated":"2025-07-31T07:33:11Z","snapshot_observed_at":"2026-08-14T01:12:15.925950Z","submitted_at":"2025-07-16T03:11:43Z","title":"A Compute-Matched Re-Evaluation of TroVE on MATH","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-06T17:05:19.254496Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2507.22069"},"observation_digest":"sha256:ff57a87678dbe43cc65197e1bfa2a762c22a314baf5fb15f0e09bc01b8c77171","observation_id":"a8e01c78-195e-4fae-9d4d-a12155be41ef","resolution":{"observed_at":"2026-08-06T17:05:19.254496Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-08-03T09:21:44.572268Z","title":"Trove: Inducing verifiable and efficient toolboxes for solving programmatic tasks, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.14192","last_updated":"2026-07-03T11:26:58Z","snapshot_observed_at":"2026-08-19T21:41:32.258886Z","submitted_at":"2026-01-20T17:51:56Z","title":"Toward Efficient Agents: Memory, Tool learning, and Planning","version":2},"reference_index":138,"source":"pdf_text","source_observed_at":"2026-08-03T09:21:44.572268Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2601.14192"},"observation_digest":"sha256:5bccb7f2811f124f82c38eba8818ee49e62bfac83cb5a8a3dcf54a87ba334e1c","observation_id":"79492a1f-c611-4d1c-9c7b-3885f9dc0d41","resolution":{"observed_at":"2026-08-03T09:21:44.572268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":"2401.12869","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-07-10T13:57:07.063734Z","title":"Trove: Inducing verifiable and efficient toolboxes for solving programmatic tasks","venue":"cs.AI","work_id":"48eb5d0d-cdbc-4790-8e30-eb9029a0e226","year":2024},"citing_paper":{"arxiv_id":"2605.05485","last_updated":"2026-05-06T22:08:17Z","snapshot_observed_at":"2026-08-13T23:34:21.164749Z","submitted_at":"2026-05-06T22:08:17Z","title":"ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-08T16:13:09.447000Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2605.05485"},"observation_digest":"sha256:68c48a277ef4cec88a427b5d848a2eed837c4ecf349236381798b6da313aea82","observation_id":"f872829f-fed1-471b-b281-e5bf4b4116e2","resolution":{"observed_at":"2026-05-11T18:21:08.991790Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":"2401.12869","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-07-10T13:57:07.063734Z","title":"Trove: Inducing verifiable and efficient toolboxes for solving programmatic tasks","venue":"cs.AI","work_id":"48eb5d0d-cdbc-4790-8e30-eb9029a0e226","year":2024},"citing_paper":{"arxiv_id":"2605.07358","last_updated":"2026-05-26T05:21:04Z","snapshot_observed_at":"2026-07-06T23:19:46.018236Z","submitted_at":"2026-05-08T07:10:26Z","title":"A Comprehensive Survey on Agent Skills: Taxonomy, Techniques, and Applications","version":1},"reference_index":105,"source":"pdf_text","source_observed_at":"2026-05-11T01:47:39.926540Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2605.07358"},"observation_digest":"sha256:05fd23b107e67bb945be531f5bfd1c4539fe5e36e836d97567eb5132efb382a6","observation_id":"ac1c478e-0b44-470c-aa76-cbb3798f1427","resolution":{"observed_at":"2026-05-11T04:20:56.865058Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":"2401.12869","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-07-10T13:57:07.063734Z","title":"Trove: Inducing verifiable and efficient toolboxes for solving programmatic tasks","venue":"cs.AI","work_id":"48eb5d0d-cdbc-4790-8e30-eb9029a0e226","year":2024},"citing_paper":{"arxiv_id":"2605.07358","last_updated":"2026-05-26T05:21:04Z","snapshot_observed_at":"2026-07-06T23:19:46.018236Z","submitted_at":"2026-05-08T07:10:26Z","title":"A Comprehensive Survey on Agent Skills: Taxonomy, Techniques, and Applications","version":2},"reference_index":105,"source":"pdf_text","source_observed_at":"2026-05-20T23:15:44.550045Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2605.07358"},"observation_digest":"sha256:be9f96a733295622134e8abee01de459f0bd84d596d9578a43382747a1218147","observation_id":"c7490e99-cff3-45d1-baaa-62ff92c0aa87","resolution":{"observed_at":"2026-05-20T23:19:14.705257Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":"2401.12869","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-07-10T13:57:07.063734Z","title":"Trove: Inducing verifiable and efficient toolboxes for solving programmatic tasks","venue":"cs.AI","work_id":"48eb5d0d-cdbc-4790-8e30-eb9029a0e226","year":2024},"citing_paper":{"arxiv_id":"2605.07358","last_updated":"2026-05-26T05:21:04Z","snapshot_observed_at":"2026-07-06T23:19:46.018236Z","submitted_at":"2026-05-08T07:10:26Z","title":"A Comprehensive Survey on Agent Skills: Taxonomy, Techniques, and Applications","version":3},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-06-30T23:23:42.883286Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2605.07358"},"observation_digest":"sha256:dd056008a90b116b8e4fc3f95fa915db0487cc3de0ff275ea495e28befa61c2f","observation_id":"7c496a75-b446-4380-9896-6204495b3796","resolution":{"observed_at":"2026-06-30T23:25:07.439000Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":"2401.12869","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-07-10T13:57:07.063734Z","title":"Trove: Inducing verifiable and efficient toolboxes for solving programmatic tasks","venue":"cs.AI","work_id":"48eb5d0d-cdbc-4790-8e30-eb9029a0e226","year":2024},"citing_paper":{"arxiv_id":"2605.09423","last_updated":"2026-05-13T08:34:40Z","snapshot_observed_at":"2026-07-31T05:53:49.791813Z","submitted_at":"2026-05-10T08:51:50Z","title":"SimWorld Studio: Automatic Environment Generation with Evolving Coding Agent for Embodied Agent Learning","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-05-12T04:21:44.087943Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2605.09423"},"observation_digest":"sha256:0244b8d51de242e850091fd97033884026a032af7de1b393b43f74285786323b","observation_id":"6d270cba-3656-48db-8bf4-1d6e572d60b1","resolution":{"observed_at":"2026-05-12T06:21:26.967615Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":"2401.12869","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-07-10T13:57:07.063734Z","title":"Trove: Inducing verifiable and efficient toolboxes for solving programmatic tasks","venue":"cs.AI","work_id":"48eb5d0d-cdbc-4790-8e30-eb9029a0e226","year":2024},"citing_paper":{"arxiv_id":"2605.09423","last_updated":"2026-05-13T08:34:40Z","snapshot_observed_at":"2026-07-31T05:53:49.791813Z","submitted_at":"2026-05-10T08:51:50Z","title":"SimWorld Studio: Automatic Environment Generation with Evolving Coding Agent for Embodied Agent Learning","version":2},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-05-14T21:30:42.766390Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2605.09423"},"observation_digest":"sha256:ef7ea56393495703aed2c5509280b40f7dd461d38c93adf2e74cefbeaf0358ad","observation_id":"3625d5c8-5152-4753-8b73-64b2678e7162","resolution":{"observed_at":"2026-05-14T21:32:59.537038Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":"2401.12869","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-07-10T13:57:07.063734Z","title":"Trove: Inducing verifiable and efficient toolboxes for solving programmatic tasks","venue":"cs.AI","work_id":"48eb5d0d-cdbc-4790-8e30-eb9029a0e226","year":2024},"citing_paper":{"arxiv_id":"2606.05395","last_updated":"2026-06-03T20:02:35Z","snapshot_observed_at":"2026-08-17T13:08:19.276698Z","submitted_at":"2026-06-03T20:02:35Z","title":"VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-28T05:36:59.143003Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2606.05395"},"observation_digest":"sha256:983cbe40ab79a147569d73c6e9188d48325ec0c8672f118646401ee0e8278fd4","observation_id":"c3df864a-6d03-44c3-ac47-ff81b2d0c11d","resolution":{"observed_at":"2026-07-02T09:16:48.994266Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":"2401.12869","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-07-10T13:57:07.063734Z","title":"Trove: Inducing verifiable and efficient toolboxes for solving programmatic tasks","venue":"cs.AI","work_id":"48eb5d0d-cdbc-4790-8e30-eb9029a0e226","year":2024},"citing_paper":{"arxiv_id":"2606.17929","last_updated":"2026-06-16T13:40:21Z","snapshot_observed_at":"2026-08-13T21:58:54.617805Z","submitted_at":"2026-06-16T13:40:21Z","title":"PreAct: Computer-Using Agents that Get Faster on Repeated Tasks","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-06-27T01:06:26.643487Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2606.17929"},"observation_digest":"sha256:1da388c715e7d08c34a424676fcc46e776d4ec5f9fcadde8c0c46b30bac62e89","observation_id":"3b8b1f34-f65c-40b5-ac11-b4b90376e155","resolution":{"observed_at":"2026-07-03T20:58:57.454858Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":"2401.12869","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-07-10T13:57:07.063734Z","title":"Trove: Inducing verifiable and efficient toolboxes for solving programmatic tasks","venue":"cs.AI","work_id":"48eb5d0d-cdbc-4790-8e30-eb9029a0e226","year":2024},"citing_paper":{"arxiv_id":"2607.08010","last_updated":"2026-07-09T00:27:13Z","snapshot_observed_at":"2026-08-15T10:17:50.652713Z","submitted_at":"2026-07-09T00:27:13Z","title":"Tool-Making and Self-Evolving LLM Agents in Low-Latency Systems","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-07-10T13:47:37.248017Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2607.08010"},"observation_digest":"sha256:d41ca1bbebe8e748600cccfdf3b82903fec47600b7f838cd61af92ef5d1c3f8a","observation_id":"a485ee09-f00c-49ea-a19f-aace84563eab","resolution":{"observed_at":"2026-07-10T13:57:07.065718Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-07-14T06:30:16.612345Z","title":"Trove: Inducing verifiable and efficient toolboxes for solving programmatic tasks.arXiv preprint arXiv:2401.12869, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.11175","last_updated":"2026-08-12T13:35:16Z","snapshot_observed_at":"2026-08-17T11:38:26.224799Z","submitted_at":"2026-07-13T07:16:50Z","title":"The Path to Self-Evolving Clinical Systems: Scaling Medical Agents from Assistance to Autonomy","version":1},"reference_index":254,"source":"pdf_text","source_observed_at":"2026-07-14T06:30:16.612345Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2607.11175"},"observation_digest":"sha256:0961607a3a935ec3ec7e93e291b25272d06fa49ca99c227bc3e3a39186d1719c","observation_id":"7c9bcccf-d005-407d-a98e-1c5c17b57295","resolution":{"observed_at":"2026-07-14T06:30:16.612345Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-08-02T16:08:11.808668Z","title":"arXiv preprint arXiv:2401.12869 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.21596","last_updated":"2026-04-18T06:52:42Z","snapshot_observed_at":"2026-08-19T12:43:28.657676Z","submitted_at":"2026-04-18T06:52:42Z","title":"FlowEvo: Self-Evolving Agents through the Co-Evolution of Workflows and Executable Skills","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-02T16:08:11.808668Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2607.21596"},"observation_digest":"sha256:15c88ca9c9cf621bb0b57c16dcb57169b84ab69870ceacb897ed25b7c60a6eee","observation_id":"ce3be3fb-f0e0-41f6-b430-d52f6dc611f4","resolution":{"observed_at":"2026-08-02T16:08:11.808668Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.12869","snapshot_observed_at":"2026-08-15T14:32:41.861755Z","title":"arXiv preprint arXiv:2401.12869 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.07395","last_updated":"2026-08-07T16:40:03Z","snapshot_observed_at":"2026-08-19T05:30:07.244927Z","submitted_at":"2026-08-07T16:40:03Z","title":"PACE: Primitive-Aware Code Evolution for Automated Algorithm Design","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-15T14:32:41.861755Z"},"links":{"cited_paper":"/paper/2401.12869","citing_paper":"/paper/2608.07395"},"observation_digest":"sha256:ae71233c80bb6fa1db29fd9aa4eae23bf0bf6627f1545e581938501a2c03724e","observation_id":"eafdf371-8e6c-43dd-8d89-027545b7d98c","resolution":{"observed_at":"2026-08-15T14:32:41.861755Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2401.12869/citation-record","integrity":"/paper/2401.12869/integrity","json":"/paper/2401.12869/citation-record.json","paper":"/paper/2401.12869"},"outbound":[],"paper":{"arxiv_id":"2401.12869","last_updated":"2024-01-23T16:03:17Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-16T14:25:09.455778Z","submitted_at":"2024-01-23T16:03:17Z","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 21 inbound Pith citation observations for arXiv:2401.12869."}