Paper Citation Record · LEDGER

NExT: Teaching Large Language Models to Reason about Code Execution

As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 11 inbound Pith citation observations for arXiv:2404.14662.

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

pith.paper-citation-record.v1
2404.14662 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 11 of 11 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 11 of 11 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-08T15:14:54.207215Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-06-30T13:44:41.795923Z

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 dc02356f-a228-4912-a2d6-4b320984578f · inbound

CodeMind: Evaluating Large Language Models for Code Reasoning cites this paper.

CodeMind: Evaluating Large Language Models for Code Reasoning NExT: Teaching Large Language Models to Reason about Code Execution

Reference 44

Resolution: verified exact; arxiv_id, observed 2026-05-24T03:55:59.675272Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 64a621c6-5cc3-4c49-9183-234bcafde910 · inbound

Training Language Models to Self-Correct via Reinforcement Learning cites this paper.

Training Language Models to Self-Correct via Reinforcement Learning NExT: Teaching Large Language Models to Reason about Code Execution

Reference 19

Resolution: verified exact; arxiv_id, observed 2026-05-17T12:04:10.383925Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 0306d34a-b0c3-4930-b1ed-93fa9187ac2f · inbound

What I cannot execute, I do not understand: Training and Evaluating LLMs on Program Execution Traces cites this paper.

What I cannot execute, I do not understand: Training and Evaluating LLMs on Program Execution Traces NExT: Teaching Large Language Models to Reason about Code Execution

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-08T15:14:54.207215Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08ee141c-3679-4f85-a344-e29b03392c90 · inbound

CodeReasoner: Enhancing the Code Reasoning Ability with Reinforcement Learning cites this paper.

CodeReasoner: Enhancing the Code Reasoning Ability with Reinforcement Learning NExT: Teaching Large Language Models to Reason about Code Execution

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-06T14:50:27.959391Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47953471-4c87-4574-9e25-38d35e764e1e · inbound

ReLog: Execution-Aware Logging with Runtime Feedback for LLM-Oriented Debugging cites this paper.

ReLog: Execution-Aware Logging with Runtime Feedback for LLM-Oriented Debugging NExT: Teaching Large Language Models to Reason about Code Execution

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-04T05:40:56.150418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee0e9870-acc3-4a0e-8efe-12d7ec693183 · inbound

Teaching LLMs Program Semantics via Symbolic Execution Traces cites this paper.

Teaching LLMs Program Semantics via Symbolic Execution Traces NExT: Teaching Large Language Models to Reason about Code Execution

Reference 29

Resolution: verified exact; arxiv_id, observed 2026-05-11T20:26:13.447050Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 16a3ce91-2b03-439b-8cce-3a6af7ec15a8 · inbound

Agentic MIP Research: Accelerated Constraint Handler Generation cites this paper.

Agentic MIP Research: Accelerated Constraint Handler Generation NExT: Teaching Large Language Models to Reason about Code Execution

Reference 13

Resolution: verified exact; arxiv_id, observed 2026-05-12T02:16:16.302851Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation e6fd4555-8b16-488e-ad3d-6042b06876ef · inbound

StepCodeReasoner: Aligning Code Reasoning with Stepwise Execution Traces via Reinforcement Learning cites this paper.

StepCodeReasoner: Aligning Code Reasoning with Stepwise Execution Traces via Reinforcement Learning NExT: Teaching Large Language Models to Reason about Code Execution

Reference 37

Resolution: metadata mismatch; arxiv_id, observed 2026-05-13T05:32:20.212235Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6a653599-ef5d-4558-9d9e-742fe386fba6 · inbound

MemRepair: Hierarchical Memory for Agentic Repository-Level Vulnerability Repair cites this paper.

MemRepair: Hierarchical Memory for Agentic Repository-Level Vulnerability Repair NExT: Teaching Large Language Models to Reason about Code Execution

Reference 31

Resolution: verified exact; arxiv_id, observed 2026-05-19T23:07:51.129563Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 38b6bc2c-4ef0-4cb9-b488-01ba34986627 · inbound

Code as Agent Harness cites this paper.

Code as Agent Harness NExT: Teaching Large Language Models to Reason about Code Execution

Reference 30

Resolution: verified exact; arxiv_id, observed 2026-05-20T10:58:14.517676Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 589b51b6-7ee5-4b76-afec-2f07f04e8e21 · inbound

MicroAgent: Context-Augmented Multi-Agent Framework for Automatic Microservice Decomposition cites this paper.

MicroAgent: Context-Augmented Multi-Agent Framework for Automatic Microservice Decomposition NExT: Teaching Large Language Models to Reason about Code Execution

Reference 43

Resolution: verified exact; arxiv_id, observed 2026-06-30T13:44:41.797641Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.