Paper Citation Record · LEDGER

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics

As of 13 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 2 inbound Pith citation observations for arXiv:2602.02881.

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

pith.paper-citation-record.v1
2602.02881 v2

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T05:14:59.312521Z

measured 42 of 42 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-19T17:35:58.032762Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-19T17:37:41.408622Z

Reference resolution

40 of 40 outbound references displayed

verified exact8
verified fuzzy0
unresolved32
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d3232238-954f-40b9-b2a9-b4ae7241eb23 · outbound

This paper cites sn-basic.bst.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics sn-basic.bst

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:55.933206Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ad409c4-6c99-49b7-9e74-0ed72375edb9 · outbound

This paper cites write newline.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics write newline

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:56.032944Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7070f73a-06bd-45a0-8098-7ef4fafc675d · outbound

This paper cites In: International Conference on Computational Creativity (ICCC).

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics In: International Conference on Computational Creativity (ICCC)

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:56.102014Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98071d9a-0db0-4709-9b8d-83f185042ae8 · outbound

This paper cites an unresolved cited work.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:56.185723Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c3ad87b-028b-47e7-b151-0cacd23003e6 · outbound

This paper cites state-rich.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics state-rich

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:56.246569Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23cbb5ea-96aa-4954-9ab1-8f0fafbe2312 · outbound

This paper cites In: FIT '10, 8th International Conference on Frontiers of Information Technology, Islamabad, Pakistan, December 21-23, 2010.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics In: FIT '10, 8th International Conference on Frontiers of Information Technology, Islamabad, Pakistan, December 21-23, 2010

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:56.373898Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9daff4fa-9ba7-45a2-9338-7d19adee708b · outbound

This paper cites In: 9th IEEE International Conference on Open Source Systems and Technologies (ICOSST 2015), Lahore, Pakistan., IEEE Digital Library, pp 16--23.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics In: 9th IEEE International Conference on Open Source Systems and Technologies (ICOSST 2015), Lahore, Pakistan., IEEE Digital Library, pp 16--23

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:56.450148Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d04bdaa-7c84-46fe-bfd2-009d3d9a8424 · outbound

This paper cites an unresolved cited work.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:56.529359Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c383c43-cf14-4811-b83b-4c574eef8ca6 · outbound

This paper cites Journal of Software Testing, Verification and Reliability doi:10.5281/zenodo.17772835, ://doi.org/10.5281/zenodo.17772835, submitted; Version v1 available on Zenodo.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics Journal of Software Testing, Verification and Reliability doi:10.5281/zenodo.17772835, ://doi.org/10.5281/zenodo.17772835, submitted; Version v1 available on Zenodo

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:56.596527Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72de3eb2-913c-4a73-80a2-09f4f970430a · outbound

This paper cites an unresolved cited work.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics Unresolved cited work

Reference 10

Resolution: verified exact; doi, observed 2026-08-03T05:18:31.756805Z

Source-reported events for the cited work

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

Observation 503a5126-229a-442f-ac35-cf0fbe1c358e · outbound

This paper cites PhD thesis, Maynooth University.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics PhD thesis, Maynooth University

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:56.820793Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c255806-8710-41d8-bc02-e423f2631289 · outbound

This paper cites an unresolved cited work.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics Unresolved cited work

Reference 12

Resolution: verified exact; doi, observed 2026-08-03T05:18:31.617698Z

Source-reported events for the cited work

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

Observation 4bb60cbd-29fc-4eae-ada4-436a15c3e524 · outbound

This paper cites In: Form.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics In: Form

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:57.019144Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09f524a5-8eab-40e2-b1d6-b048545462fa · outbound

This paper cites Science of Computer Programming 197:102510.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics Science of Computer Programming 197:102510

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:57.111618Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3727889-51de-4f44-baea-49bc0f1cb777 · outbound

This paper cites In: Ogata K, Lawford M, Liu S (eds) Formal Methods and Software Engineering.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics In: Ogata K, Lawford M, Liu S (eds) Formal Methods and Software Engineering

Reference 15

Resolution: verified exact; doi, observed 2026-08-03T05:18:31.439365Z

Source-reported events for the cited work

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

Observation da529bda-5b04-449d-9914-4cf438f2f98f · outbound

This paper cites J ACM 39(1):95–146.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics J ACM 39(1):95–146

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:57.317137Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 931d8014-1024-445c-bf9a-2d92d2200e94 · outbound

This paper cites J ACM 39(1):95--146.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics J ACM 39(1):95--146

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:57.413586Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7a0b2cc-d50b-4bc7-bb0d-e8f8c06bc869 · outbound

This paper cites Innov Syst Softw Eng 18(4):567--580.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics Innov Syst Softw Eng 18(4):567--580

Reference 18

Resolution: verified exact; doi, observed 2026-08-03T05:18:31.272668Z

Source-reported events for the cited work

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

Observation 9a6b6b2b-15df-45d8-877e-fc69c16f38f2 · outbound

This paper cites In: Math.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics In: Math

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:57.631689Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8187aaea-1052-4a5e-bc57-92c61afc4df9 · outbound

This paper cites an unresolved cited work.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:57.708655Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f147be70-6fef-47b6-88f2-43800ff6dee1 · outbound

This paper cites In: ETFA2011, pp 1--9, doi:10.1109/ETFA.2011.6058982.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics In: ETFA2011, pp 1--9, doi:10.1109/ETFA.2011.6058982

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:57.806655Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec60abf7-5624-4f72-a4b1-f6e90586a162 · outbound

This paper cites an unresolved cited work.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:57.867709Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e75771e3-ef70-4aee-a209-1bcb950ba91f · outbound

This paper cites ACM Comput Surv 52(5):1--41.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics ACM Comput Surv 52(5):1--41

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:57.945213Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59a72122-d491-4b6e-8b5f-503545725e92 · outbound

This paper cites Knowledge Graph-based Retrieval-Augmented Generation for Schema Matching.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics Knowledge Graph-based Retrieval-Augmented Generation for Schema Matching

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:58.030190Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5caed3f5-f286-4c00-a63a-faf873bc273e · outbound

This paper cites In: Intell.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics In: Intell

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:58.112313Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 797ed327-8a61-45c7-be6b-f6dfffc10794 · outbound

This paper cites Softw Syst Mod 18(5):3097--3149.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics Softw Syst Mod 18(5):3097--3149

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:58.207107Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1454670e-cd64-44f9-8bf2-a0e0f34ea56a · outbound

This paper cites Springer.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics Springer

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:58.285073Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7cf2ce28-fc90-4f5b-857d-dfef97b61734 · outbound

This paper cites In: International Conference on Computational Creativity (ICCC).

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics In: International Conference on Computational Creativity (ICCC)

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:58.357109Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5203827-2c89-4d7c-86cc-eb34d70ec658 · outbound

This paper cites In: PICS-Publication Series of the Institute of Cognitive Science, vol 1.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics In: PICS-Publication Series of the Institute of Cognitive Science, vol 1

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:58.427493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ef70ab3-dc2e-4859-96ec-83375d780eb3 · outbound

This paper cites In: Proceedings Artificial Intelligence for Formal Methods (AI4FM).

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics In: Proceedings Artificial Intelligence for Formal Methods (AI4FM)

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:58.523576Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f6a626c-49d2-4779-9f5b-5ad4bcd849b2 · outbound

This paper cites PhD thesis, National University of Ireland Maynooth.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics PhD thesis, National University of Ireland Maynooth

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:58.603301Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d392e936-d948-49d6-baf1-bcd436870cb1 · outbound

This paper cites Springer.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics Springer

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:58.647025Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cfab9c63-60e8-46ca-90ca-25aee3646405 · outbound

This paper cites an unresolved cited work.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics Unresolved cited work

Reference 33

Resolution: verified exact; doi, observed 2026-08-03T05:18:31.021353Z

Source-reported events for the cited work

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

Observation f1f1f0c6-ce4a-4898-9e00-54086737dd63 · outbound

This paper cites In: International conference on applied engineering and natural sciences, pp 1050--1056.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics In: International conference on applied engineering and natural sciences, pp 1050--1056

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:58.786853Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0996183-6bc5-4638-a0d3-d99871185270 · outbound

This paper cites an unresolved cited work.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics Unresolved cited work

Reference 35

Resolution: verified exact; doi, observed 2026-08-03T05:18:30.895178Z

Source-reported events for the cited work

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

Observation 03a9dea3-7845-4df9-982e-e2002d31cbd0 · outbound

This paper cites an unresolved cited work.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:58.928860Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ad2d91a-09f1-401b-88fc-40eb5d2ba0f7 · outbound

This paper cites large language models: Competitors or partners in supporting virtual museums.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics large language models: Competitors or partners in supporting virtual museums

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:59.001213Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f27584a4-60e9-4c7c-8b76-ba16a2d8799f · outbound

This paper cites In: Goldberg Y, Kozareva Z, Zhang Y (eds) Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics In: Goldberg Y, Kozareva Z, Zhang Y (eds) Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing

Reference 38

Resolution: verified exact; doi, observed 2026-08-03T05:18:30.764006Z

Source-reported events for the cited work

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

Observation 99bd7cd0-6632-4a1d-beb1-3bd7bb2ec1dd · outbound

This paper cites In: Bert D, Bowen JP, Henson MC, et al (eds) ZB 2002: Formal Specification and Development in Z and B.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics In: Bert D, Bowen JP, Henson MC, et al (eds) ZB 2002: Formal Specification and Development in Z and B

Reference 39

Resolution: verified exact; doi, observed 2026-08-03T05:18:30.617448Z

Source-reported events for the cited work

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

Observation 139ec611-a077-4e1e-84d8-e30850d71ea3 · outbound

This paper cites In: Boiten EA, Derrick J, Smith G (eds) Integrated Formal Methods.

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics In: Boiten EA, Derrick J, Smith G (eds) Integrated Formal Methods

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-03T05:14:59.312521Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 7edf52eb-9efa-4ade-b36f-1cbc1c8f0d78 · inbound

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods cites this paper.

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-06-19T17:10:19.621632Z

Source-reported events for the cited work

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

Observation cbc902fc-b206-47fd-a94b-3e4de8230a62 · inbound

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods cites this paper.

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-06-19T17:10:19.621632Z

Source-reported events for the cited work

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