Paper Citation Record · LEDGER

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification

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

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

pith.paper-citation-record.v1
2604.17010 v2

Coverage vector

measured 8 of 8 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-10T06:47:55.926034Z

measured 8 of 8 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+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

8 of 8 outbound references displayed

verified exact1
verified fuzzy3
unresolved2
parse uncertain0
malformed identifier1
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d0485bf0-4f79-4403-a644-59bb932e7edc · outbound

This paper cites MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code Generation.

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code Generation

Reference 1

Resolution: metadata mismatch; arxiv_id, observed 2026-05-10T06:51:46.287422Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 84365819-21b4-4d06-835e-ab0d9076d00a · outbound

This paper cites Enhancing Code Generation for Low-Resource Languages: No Silver Bullet.

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification Enhancing Code Generation for Low-Resource Languages: No Silver Bullet

Reference 2

Resolution: verified exact; arxiv_id, observed 2026-05-10T06:51:46.289968Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation accc54bd-36e1-4d1a-9086-78ac769c17b8 · outbound

This paper cites This purity ensures that two functions are semantically equivalent if they produce the same outputs for all inputs, regardless of how those outputs are computed.

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification This purity ensures that two functions are semantically equivalent if they produce the same outputs for all inputs, regardless of how those outputs are computed

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-21T15:20:18.582282Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e41a3da1-79e7-4982-9b70-7e4bff4c3aa5 · outbound

This paper cites negative.

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification negative

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-05-21T15:20:18.577356Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 5b74925d-11f2-4f23-af46-74ad4ba300a4 · outbound

This paper cites @-}}`annotation , with the exact naming pattern lemma_<P>_equiv.

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification @-}}`annotation , with the exact naming pattern lemma_<P>_equiv

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-21T15:20:18.579982Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 196edc9e-3e2c-4cfc-b7eb-34e8759e0490 · outbound

This paper cites an unresolved cited work.

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-05-21T15:20:18.585019Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 2f545094-75d4-48cc-9f2e-ae855e5d9ff4 · outbound

This paper cites an unresolved cited work.

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-05-21T15:20:18.572568Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b6891fe2-b5c2-4df0-98ec-49fd19544073 · outbound

This paper cites --reflection.

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification --reflection

Reference 8

Resolution: malformed identifier; raw_fallback, observed 2026-05-21T15:20:18.574882Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Pith citing papers

No inbound Pith citation observations are available.