Paper Citation Record · LEDGER

TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

As of 19 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 21 inbound Pith citation observations for arXiv:2401.12869.

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

pith.paper-citation-record.v1
2401.12869 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 21 of 21 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 21 of 21 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-15T23:46:05.597962Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-07-10T13:57:07.063734Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 887388df-fa6a-4dbc-825c-f83f78e5fe72 · inbound

OMuleT: Orchestrating Multiple Tools for Practicable Conversational Recommendation cites this paper.

OMuleT: Orchestrating Multiple Tools for Practicable Conversational Recommendation TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-12T10:20:46.848898Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df8ba968-8834-43a4-b2cd-bb5cdc3d076e · inbound

PoTable: Towards Systematic Thinking via Plan-then-Execute Stage Reasoning on Tables cites this paper.

PoTable: Towards Systematic Thinking via Plan-then-Execute Stage Reasoning on Tables TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 33

Resolution: verified exact; arxiv_id, observed 2026-05-23T08:22:44.123121Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 17346137-45c0-4028-8b81-250e67810903 · inbound

Visual Large Language Models for Generalized and Specialized Applications cites this paper.

Visual Large Language Models for Generalized and Specialized Applications TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 209

Resolution: unresolved; no resolver link, observed 2026-08-10T22:08:09.708393Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 992d41bb-84e1-4251-8556-c5bc4ec8a9de · inbound

Divide, Optimize, Merge: Fine-Grained LLM Agent Optimization at Scale cites this paper.

Divide, Optimize, Merge: Fine-Grained LLM Agent Optimization at Scale TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-15T23:46:05.597962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43b9209e-c600-4ecb-bd8a-e7604d7cc854 · inbound

Alita: Generalist Agent Enabling Scalable Agentic Reasoning with Minimal Predefinition and Maximal Self-Evolution cites this paper.

Alita: Generalist Agent Enabling Scalable Agentic Reasoning with Minimal Predefinition and Maximal Self-Evolution TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T13:59:35.297776Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cfd8fb98-1c71-4943-bef3-b172ea6dba79 · inbound

RepoMaster: Autonomous Exploration and Understanding of GitHub Repositories for Complex Task Solving cites this paper.

RepoMaster: Autonomous Exploration and Understanding of GitHub Repositories for Complex Task Solving TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T13:53:14.789274Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b19706c9-e97f-4f79-b1ff-ab6551305e58 · inbound

Table-r1: Self-supervised and Reinforcement Learning for Program-based Table Reasoning in Small Language Models cites this paper.

Table-r1: Self-supervised and Reinforcement Learning for Program-based Table Reasoning in Small Language Models TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-07T06:03:45.698116Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8e01c78-195e-4fae-9d4d-a12155be41ef · inbound

A Compute-Matched Re-Evaluation of TroVE on MATH cites this paper.

A Compute-Matched Re-Evaluation of TroVE on MATH TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T17:05:19.254496Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79492a1f-c611-4d1c-9c7b-3885f9dc0d41 · inbound

Toward Efficient Agents: Memory, Tool learning, and Planning cites this paper.

Toward Efficient Agents: Memory, Tool learning, and Planning TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 138

Resolution: unresolved; no resolver link, observed 2026-08-03T09:21:44.572268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f872829f-fed1-471b-b281-e5bf4b4116e2 · inbound

ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis cites this paper.

ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 11

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T18:21:08.991790Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ac1c478e-0b44-470c-aa76-cbb3798f1427 · inbound

A Comprehensive Survey on Agent Skills: Taxonomy, Techniques, and Applications cites this paper.

A Comprehensive Survey on Agent Skills: Taxonomy, Techniques, and Applications TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 105

Resolution: verified exact; arxiv_id, observed 2026-05-11T04:20:56.865058Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation c7490e99-cff3-45d1-baaa-62ff92c0aa87 · inbound

A Comprehensive Survey on Agent Skills: Taxonomy, Techniques, and Applications cites this paper.

A Comprehensive Survey on Agent Skills: Taxonomy, Techniques, and Applications TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 105

Resolution: verified exact; arxiv_id, observed 2026-05-20T23:19:14.705257Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 7c496a75-b446-4380-9896-6204495b3796 · inbound

A Comprehensive Survey on Agent Skills: Taxonomy, Techniques, and Applications cites this paper.

A Comprehensive Survey on Agent Skills: Taxonomy, Techniques, and Applications TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 98

Resolution: verified exact; arxiv_id, observed 2026-06-30T23:25:07.439000Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 6d270cba-3656-48db-8bf4-1d6e572d60b1 · inbound

SimWorld Studio: Automatic Environment Generation with Evolving Coding Agent for Embodied Agent Learning cites this paper.

SimWorld Studio: Automatic Environment Generation with Evolving Coding Agent for Embodied Agent Learning TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 86

Resolution: verified exact; arxiv_id, observed 2026-05-12T06:21:26.967615Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3625d5c8-5152-4753-8b73-64b2678e7162 · inbound

SimWorld Studio: Automatic Environment Generation with Evolving Coding Agent for Embodied Agent Learning cites this paper.

SimWorld Studio: Automatic Environment Generation with Evolving Coding Agent for Embodied Agent Learning TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 86

Resolution: verified exact; arxiv_id, observed 2026-05-14T21:32:59.537038Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation c3df864a-6d03-44c3-ac47-ff81b2d0c11d · inbound

VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents cites this paper.

VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-07-02T09:16:48.994266Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3b8b1f34-f65c-40b5-ac11-b4b90376e155 · inbound

PreAct: Computer-Using Agents that Get Faster on Repeated Tasks cites this paper.

PreAct: Computer-Using Agents that Get Faster on Repeated Tasks TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 51

Resolution: verified exact; arxiv_id, observed 2026-07-03T20:58:57.454858Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a485ee09-f00c-49ea-a19f-aace84563eab · inbound

Tool-Making and Self-Evolving LLM Agents in Low-Latency Systems cites this paper.

Tool-Making and Self-Evolving LLM Agents in Low-Latency Systems TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 19

Resolution: metadata mismatch; local_arxiv, observed 2026-07-10T13:57:07.065718Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 7c9bcccf-d005-407d-a98e-1c5c17b57295 · inbound

The Path to Self-Evolving Clinical Systems: Scaling Medical Agents from Assistance to Autonomy cites this paper.

The Path to Self-Evolving Clinical Systems: Scaling Medical Agents from Assistance to Autonomy TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 254

Resolution: unresolved; no resolver link, observed 2026-07-14T06:30:16.612345Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce3be3fb-f0e0-41f6-b430-d52f6dc611f4 · inbound

FlowEvo: Self-Evolving Agents through the Co-Evolution of Workflows and Executable Skills cites this paper.

FlowEvo: Self-Evolving Agents through the Co-Evolution of Workflows and Executable Skills TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T16:08:11.808668Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eafdf371-8e6c-43dd-8d89-027545b7d98c · inbound

PACE: Primitive-Aware Code Evolution for Automated Algorithm Design cites this paper.

PACE: Primitive-Aware Code Evolution for Automated Algorithm Design TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-15T14:32:41.861755Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.