Paper Citation Record · LEDGER

SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference

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

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

pith.paper-citation-record.v1
2602.20610 v3

Coverage vector

measured 7 of 7 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T21:21:37.339174Z

measured 7 of 7 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 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

7 of 7 outbound references displayed

verified exact0
verified fuzzy0
unresolved7
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5e6030c2-ae5e-46fe-a456-4444c8280517 · outbound

This paper cites For example, the postcondi- tions produced at the attempts #2 and #5 are the same even though the one at attempt #2 is incorrect.

SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference For example, the postcondi- tions produced at the attempts #2 and #5 are the same even though the one at attempt #2 is incorrect

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T21:21:37.052678Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d917cb6-56a2-4681-99da-d49c944fd531 · outbound

This paper cites For example, 12 Table 3: Performance on Distinguishing Bugs.

SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference For example, 12 Table 3: Performance on Distinguishing Bugs

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T21:21:37.185016Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ebebc7c-8be6-47e3-b0d5-4df6ea4dfea9 · outbound

This paper cites After getting the feedback on its incorrect condi- tion, itexpanded the condition to a correct one to check that the output string can be converted to an integer.

SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference After getting the feedback on its incorrect condi- tion, itexpanded the condition to a correct one to check that the output string can be converted to an integer

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T21:21:37.339174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 087c1526-5941-4b4b-8216-fc6970e0b3a9 · outbound

This paper cites Shuvendu K.

SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference Shuvendu K

Reference 176

Resolution: unresolved; no resolver link, observed 2026-08-02T21:21:36.759700Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6bf828a6-20dd-47af-9ad0-07404e8730fc · outbound

This paper cites Unit Test Case Generation with Transformers and Focal Context.

SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference Unit Test Case Generation with Transformers and Focal Context

Reference 315

Resolution: unresolved; no resolver link, observed 2026-08-02T21:21:36.947026Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fe1aa98-e880-45ad-a743-7f54fcd8e4f9 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference Evaluating Large Language Models Trained on Code

Reference 2002

Resolution: unresolved; no resolver link, observed 2026-08-02T21:21:36.676252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68a58cf8-a4eb-49d4-846c-cac0d66c4e1f · outbound

This paper cites Interactive Code Generation via Test-Driven User-Intent Formalization.

SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference Interactive Code Generation via Test-Driven User-Intent Formalization

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-02T21:21:36.857236Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.