Paper Citation Record · LEDGER

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification

As of 23 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 0 inbound Pith citation observations for arXiv:2606.24124.

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

pith.paper-citation-record.v1
2606.24124 v1

Coverage vector

measured 18 of 18 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-26T00:30:41.233988Z

measured 18 of 18 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

18 of 18 outbound references displayed

verified exact1
verified fuzzy0
unresolved16
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 151b343b-e551-4267-afba-a120765fbf11 · outbound

This paper cites Making Language Models Better Reasoners with Step-Aware Verifier.

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification Making Language Models Better Reasoners with Step-Aware Verifier

Reference 1

Resolution: verified exact; doi, observed 2026-06-26T00:38:43.258690Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 02fac178-778f-4adc-a911-0a6fe88c2ec1 · outbound

This paper cites The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervision.

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervision

Reference 2

Resolution: malformed identifier; local_arxiv, observed 2026-07-04T16:29:57.719094Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 6c62e65d-de1e-42c0-bcae-e1018dbdecfa · outbound

This paper cites Betty starts with $50.

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification Betty starts with $50

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-26T00:30:41.233988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 89ce2037-a678-4b15-8e6f-c41c89e515c2 · outbound

This paper cites All apples are whole apples (no fractions).

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification All apples are whole apples (no fractions)

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-26T00:30:41.233988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8f3de82-574d-4d2b-a678-6f5bb77207a5 · outbound

This paper cites description.

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification description

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-26T00:30:41.233988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a477922-e996-4adb-8305-99f21b8f33d9 · outbound

This paper cites ) - Leave empty if cannot be expressed mathematically *.

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification ) - Leave empty if cannot be expressed mathematically *

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-26T00:30:41.233988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4357c66-9e3e-4db9-bd64-5491dd469fbc · outbound

This paper cites position.

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification position

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-26T00:30:41.233988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9acb7ae1-b796-4483-9469-2e8b1faf47e2 · outbound

This paper cites context": {{.

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification context": {{

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-26T00:30:41.233988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f3340fa-9864-4721-9fc3-b8ad0cf4474b · outbound

This paper cites an unresolved cited work.

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-26T00:30:41.233988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7920aef2-7e53-4fce-ad86-8481e86fc004 · outbound

This paper cites The COT typically doesn’t add new initial facts.

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification The COT typically doesn’t add new initial facts

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-26T00:30:41.233988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 747c3e10-7091-486e-8751-09726b0b00ad · outbound

This paper cites fact_1",.

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification fact_1",

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-26T00:30:41.233988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea73be48-f5a8-4ff1-a9c2-0cc8881b68c2 · outbound

This paper cites an unresolved cited work.

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-26T00:30:41.233988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c025930-01a5-45f5-94e4-0e769a36b949 · outbound

This paper cites an unresolved cited work.

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-26T00:30:41.233988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b642070-00b7-4fa2-887a-fe56f7a52850 · outbound

This paper cites Calculate X and then use it to determine Y.

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification Calculate X and then use it to determine Y

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-26T00:30:41.233988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b04f1a3c-2687-4d68-b3f2-f0917be43e27 · outbound

This paper cites c_N+1" for additions * Give each constraint a scope:.

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification c_N+1" for additions * Give each constraint a scope:

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-26T00:30:41.233988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 772ccaa4-5c99-41ff-bec0-6590797eda19 · outbound

This paper cites id": "a_N+1.

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification id": "a_N+1

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-26T00:30:41.233988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11b5bf37-2b70-4828-b682-6cc4082fc077 · outbound

This paper cites assume" - Establishing a fact from context/premises *.

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification assume" - Establishing a fact from context/premises *

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-26T00:30:41.233988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de57be6f-fc75-4476-b7db-9318b4653e4a · outbound

This paper cites step_#" to reference previous steps (e.g.,.

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification step_#" to reference previous steps (e.g.,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-26T00:30:41.233988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.