Paper Citation Record · LEDGER

Teaching Code LLMs to Reason with Intermediate Formal Specifications

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

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

pith.paper-citation-record.v1
2607.04232 v1

Coverage vector

measured 44 of 44 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-11T20:47:20.640887Z

measured 44 of 44 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+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

44 of 44 outbound references displayed

verified exact4
verified fuzzy0
unresolved40
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5be02dfa-0bef-4846-8343-0a6ae22ca539 · outbound

This paper cites Leveraging existing instrumentation to automatically infer invariant-constrained models,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Leveraging existing instrumentation to automatically infer invariant-constrained models,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c46956b-c942-4219-a420-e2d98e0fec70 · outbound

This paper cites Dynamically discovering likely program invariants to support program evolution,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Dynamically discovering likely program invariants to support program evolution,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 413eadf7-06a1-49ab-a11e-73eae01d73d6 · outbound

This paper cites Can large language models transform natural language intent into formal method postconditions?.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Can large language models transform natural language intent into formal method postconditions?

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3390f0d0-d82f-4823-a5a1-291608c249f6 · outbound

This paper cites SpecMind: Cognitively inspired, interactive multi-turn framework for postcondition inference,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications SpecMind: Cognitively inspired, interactive multi-turn framework for postcondition inference,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd26cde0-332b-463e-ba7b-18b9015c4dda · outbound

This paper cites HoarePrompt: Structural Reasoning About Program Correctness in Natural Language.

Teaching Code LLMs to Reason with Intermediate Formal Specifications HoarePrompt: Structural Reasoning About Program Correctness in Natural Language

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 087b4b78-7920-47f8-b884-4ca806b73b7c · outbound

This paper cites Specrover: Code intent extraction via llms,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Specrover: Code intent extraction via llms,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b43e4fb-87d2-4ec2-b6a2-45c686fce648 · outbound

This paper cites Mining specifications,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Mining specifications,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f78d234f-0fe5-476a-a382-013069099b13 · outbound

This paper cites Static specification mining using automata-based abstractions,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Static specification mining using automata-based abstractions,

Reference 8

Resolution: verified exact; arxiv_id, observed 2026-07-11T20:48:15.514733Z

Source-reported events for the cited work

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

Observation 3d7e0755-aeb2-4e83-9e6f-6d7c57bbb060 · outbound

This paper cites Bugs as deviant behavior: A general approach to inferring errors in systems code,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Bugs as deviant behavior: A general approach to inferring errors in systems code,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9204acc7-77c1-4bed-abce-2c883fa4491a · outbound

This paper cites From uncertainty to belief: inferring the specification within,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications From uncertainty to belief: inferring the specification within,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b68016d8-d1a4-49fb-8d47-6aceb623a6f7 · outbound

This paper cites Static specification inference using predicate mining,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Static specification inference using predicate mining,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8d96417-1479-484d-b55f-224b4cd2ba23 · outbound

This paper cites Inferring better contracts,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Inferring better contracts,

Reference 12

Resolution: verified exact; arxiv_id, observed 2026-07-11T20:48:15.543167Z

Source-reported events for the cited work

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

Observation f61c05ee-1f6f-45f9-841c-6a5456e1c237 · outbound

This paper cites An abstract interpretation framework for refactoring with application to extract methods with contracts,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications An abstract interpretation framework for refactoring with application to extract methods with contracts,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ff665da-e2a1-4cc5-bb7b-cfba0a3f3768 · outbound

This paper cites Inferring method specifications from natural language api descriptions,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Inferring method specifications from natural language api descriptions,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97c2c21e-3d0a-4b0e-a56b-66fbbbd0e04b · outbound

This paper cites /icomment: bugs or bad comments?/,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications /*icomment: bugs or bad comments?*/,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d352dc7-2130-4eb9-bc07-afae85101be0 · outbound

This paper cites acomment: mining annotations from comments and code to detect interrupt related concurrency bugs,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications acomment: mining annotations from comments and code to detect interrupt related concurrency bugs,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71e98736-5522-4839-b388-64eb96780c01 · outbound

This paper cites @tcomment: Testing javadoc comments to detect comment-code inconsistencies,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications @tcomment: Testing javadoc comments to detect comment-code inconsistencies,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b582a155-8fc1-4680-b62c-e543b86c36b7 · outbound

This paper cites Translating code comments to procedure specifications,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Translating code comments to procedure specifications,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c54556a-29de-4980-8367-eb4439ed83ab · outbound

This paper cites Inferring resource specifications from natural language api documentation,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Inferring resource specifications from natural language api documentation,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c583ee28-dccf-412c-b40b-af1214091406 · outbound

This paper cites Analyzing apis documentation and code to detect directive defects,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Analyzing apis documentation and code to detect directive defects,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a95808e2-6f5d-4242-8f71-95ed5a2dc4ed · outbound

This paper cites Pr-miner: Automatically extracting implicit programming rules and detecting violations in large software code,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Pr-miner: Automatically extracting implicit programming rules and detecting violations in large software code,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 639079c6-d732-4330-9c90-b5a1bc947ef7 · outbound

This paper cites Dynamine: finding common error patterns by mining software revision histories,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Dynamine: finding common error patterns by mining software revision histories,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8df7c9d-a668-4297-93c9-52e4dc8c4389 · outbound

This paper cites Mapo: Mining and recommending api usage patterns,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Mapo: Mining and recommending api usage patterns,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 816b78d1-fb74-4b39-b9e3-cb2e9df4a2fb · outbound

This paper cites Detecting object usage anomalies,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Detecting object usage anomalies,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d4610ca-d92c-4768-b694-a6b2b728ebb4 · outbound

This paper cites Automatic mining of source code repositories to improve bug finding techniques,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Automatic mining of source code repositories to improve bug finding techniques,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c6937c7-a92d-40ca-8a89-14f4be7c6492 · outbound

This paper cites Alattin: Mining alternative patterns for detecting neglected conditions,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Alattin: Mining alternative patterns for detecting neglected conditions,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6cdc4d0-da67-4c75-83f4-1205d37404e6 · outbound

This paper cites Graph-based mining of multiple object usage patterns,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Graph-based mining of multiple object usage patterns,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd901a05-43d4-4cf8-b93f-ad7361a75819 · outbound

This paper cites Automatic generation of object usage specifications from large method traces,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Automatic generation of object usage specifications from large method traces,

Reference 28

Resolution: verified exact; doi, observed 2026-07-11T20:48:15.595840Z

Source-reported events for the cited work

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

Observation 8f28da47-b738-4cd1-bc2d-d66ed18e098f · outbound

This paper cites Mining temporal specifications from object usage,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Mining temporal specifications from object usage,

Reference 29

Resolution: verified exact; doi, observed 2026-07-11T20:48:15.533305Z

Source-reported events for the cited work

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

Observation 733a2311-4b05-43ff-8989-1fc2f0e75311 · outbound

This paper cites Toga: a neural method for test oracle generation,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Toga: a neural method for test oracle generation,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7b5a9b4-9ee2-4bae-9673-3cb7dbdfc1ed · outbound

This paper cites Using transfer learning for code- related tasks,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Using transfer learning for code- related tasks,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 022c6746-feb9-4976-8802-c84695ca9c17 · outbound

This paper cites Generating accurate assert statements for unit test cases using pretrained transformers,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Generating accurate assert statements for unit test cases using pretrained transformers,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8cb71d70-63b4-4c89-9984-81708895c95d · outbound

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

Teaching Code LLMs to Reason with Intermediate Formal Specifications Interactive Code Generation via Test-Driven User-Intent Formalization

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4032237a-4c66-4c9a-93f1-a3a0cef201f1 · outbound

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

Teaching Code LLMs to Reason with Intermediate Formal Specifications Unit Test Case Generation with Transformers and Focal Context

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 016cfb9b-72c8-47dd-8431-238cdea7f1b7 · outbound

This paper cites Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f1a7d1b-9c04-4d29-955c-622245e6a05c · outbound

This paper cites Coverup: Effective high coverage test generation for python,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Coverup: Effective high coverage test generation for python,

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea62cfc7-e98d-4ce6-8412-d51e5b7d346b · outbound

This paper cites Evospex: An evolutionary algorithm for learning postconditions,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Evospex: An evolutionary algorithm for learning postconditions,

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eef72ad5-77e4-40a7-bc2f-54267f3c2b09 · outbound

This paper cites Can Large Language Models Write Good Property-Based Tests?.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Can Large Language Models Write Good Property-Based Tests?

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18656ab7-6dae-4fab-be7a-7af32f971847 · outbound

This paper cites Toward trustworthy neural program synthesis,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Toward trustworthy neural program synthesis,

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6308755b-6edd-4a6e-9095-1bfa8358d677 · outbound

This paper cites Learning invariants using decision trees and implication counterexamples,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Learning invariants using decision trees and implication counterexamples,

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9a19474-2179-4f9e-ba68-5a17e4b9d742 · outbound

This paper cites Guiding program synthesis by learning to generate examples,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Guiding program synthesis by learning to generate examples,

Reference 41

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc5ef825-7b01-4349-86d3-94bdeab26288 · outbound

This paper cites Learning nonlinear loop invariants with gated continuous logic networks,.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Learning nonlinear loop invariants with gated continuous logic networks,

Reference 42

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a51ad27-5e52-476f-90f4-8913c2b74455 · outbound

This paper cites Can large language models reason about program invariants?.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Can large language models reason about program invariants?

Reference 43

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7dbe3f47-a412-4db9-8a2b-a15d15495b1a · outbound

This paper cites Available: https://speccoder.site.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Available: https://speccoder.site

Reference 44

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.