{"as_of":"2026-08-13T15:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:93008f49f0b8dd6f056c4e98f852689dba29e641187a942d45dc7df54a546362","coverage":[{"denominator":40,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":40,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T05:14:59.312521Z","state":"measured"},{"denominator":42,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":42,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-19T17:35:58.032762Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-19T17:37:41.408622Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"cited_work":{"arxiv_id":"2602.02881","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2602.02881","snapshot_observed_at":"2026-06-19T17:10:19.621632Z","title":null,"venue":null,"work_id":"ade690e8-48e8-472d-b21d-a153696ed5a5","year":2026},"citing_paper":{"arxiv_id":"2604.26578","last_updated":"2026-07-12T12:26:53Z","snapshot_observed_at":"2026-08-12T16:19:25.501123Z","submitted_at":"2026-04-29T11:59:53Z","title":"Graph Construction and Matching for Imperative Programs using Neural and Structural Methods","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-07T10:49:04.884598Z"},"links":{"cited_paper":"/paper/2602.02881","citing_paper":"/paper/2604.26578"},"observation_digest":"sha256:c2a080bdd8a4cd17f63260c730637a6766101a428e451536ebfcfb692ea23885","observation_id":"7edf52eb-9efa-4ade-b36f-1cbc1c8f0d78","resolution":{"observed_at":"2026-06-19T17:10:19.621632Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"cited_work":{"arxiv_id":"2602.02881","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2602.02881","snapshot_observed_at":"2026-06-19T17:10:19.621632Z","title":null,"venue":null,"work_id":"ade690e8-48e8-472d-b21d-a153696ed5a5","year":2026},"citing_paper":{"arxiv_id":"2604.26578","last_updated":"2026-07-12T12:26:53Z","snapshot_observed_at":"2026-08-12T16:19:25.501123Z","submitted_at":"2026-04-29T11:59:53Z","title":"Graph Construction and Matching for Imperative Programs using Neural and Structural Methods","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-19T17:35:58.032762Z"},"links":{"cited_paper":"/paper/2602.02881","citing_paper":"/paper/2604.26578"},"observation_digest":"sha256:7d4c299481db63931f03f278fcd020d98f70be124c0cf34a66978a0e148ad932","observation_id":"cbc902fc-b206-47fd-a94b-3e4de8230a62","resolution":{"observed_at":"2026-06-19T17:10:19.621632Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2602.02881/citation-record","integrity":"/paper/2602.02881/integrity","json":"/paper/2602.02881/citation-record.json","paper":"/paper/2602.02881"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:55.933206Z","title":"sn-basic.bst","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:55.933206Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:b23d0311456f11d281a9e53c08f1de162a835465a51e171cd09531c3ceef9903","observation_id":"d3232238-954f-40b9-b2a9-b4ae7241eb23","resolution":{"observed_at":"2026-08-03T05:14:55.933206Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:56.032944Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:56.032944Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:ed58975e37dfd36593852d8d8fc00ac170d52445125ba191bdfde954afc16dd5","observation_id":"0ad409c4-6c99-49b7-9e74-0ed72375edb9","resolution":{"observed_at":"2026-08-03T05:14:56.032944Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:56.102014Z","title":"In: International Conference on Computational Creativity (ICCC)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:56.102014Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:c091c5090d678335b2aad3a44cdd518565b83697396b30539e882c484e3f578e","observation_id":"7070f73a-06bd-45a0-8098-7ef4fafc675d","resolution":{"observed_at":"2026-08-03T05:14:56.102014Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:56.185723Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:56.185723Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:2c6d39376b40d3e59db7bd45b39b5a3dcd32410fd1156cd2e7b121fbf8b82815","observation_id":"98071d9a-0db0-4709-9b8d-83f185042ae8","resolution":{"observed_at":"2026-08-03T05:14:56.185723Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:56.246569Z","title":"state-rich","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:56.246569Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:298a6c8cedbb385fa9be4c658f289cf9981394c5dc31d85e8776ea98454ddf24","observation_id":"6c3ad87b-028b-47e7-b151-0cacd23003e6","resolution":{"observed_at":"2026-08-03T05:14:56.246569Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:56.373898Z","title":"In: FIT '10, 8th International Conference on Frontiers of Information Technology, Islamabad, Pakistan, December 21-23, 2010","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:56.373898Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:fbef6a194f24758ff115489d1b44e6abbc50acf44e3d4608ca1e98ed91f9def3","observation_id":"23cbb5ea-96aa-4954-9ab1-8f0fafbe2312","resolution":{"observed_at":"2026-08-03T05:14:56.373898Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:56.450148Z","title":"In: 9th IEEE International Conference on Open Source Systems and Technologies (ICOSST 2015), Lahore, Pakistan., IEEE Digital Library, pp 16--23","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:56.450148Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:56a6331cc6350fd016d674e98f9149b35b1e8d7974cc0f58956594a0aec65e5d","observation_id":"9daff4fa-9ba7-45a2-9338-7d19adee708b","resolution":{"observed_at":"2026-08-03T05:14:56.450148Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:56.529359Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:56.529359Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:687ba77c98cef09a0698f0acb623daf912789b5a1aef7f2032d1aa41e192aa5f","observation_id":"5d04bdaa-7c84-46fe-bfd2-009d3d9a8424","resolution":{"observed_at":"2026-08-03T05:14:56.529359Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:56.596527Z","title":"Journal of Software Testing, Verification and Reliability doi:10.5281/zenodo.17772835, ://doi.org/10.5281/zenodo.17772835, submitted; Version v1 available on Zenodo","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:56.596527Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:b5282fdedca90294afd220f1a85720529271232eab1cc4c22e8cd215a26010ba","observation_id":"8c383c43-cf14-4811-b83b-4c574eef8ca6","resolution":{"observed_at":"2026-08-03T05:14:56.596527Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-40436-8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"07a561ad-ac79-4ecf-a073-766c02a12a82","year":2023},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:56.693574Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:370c0e9dd47a5b28b25dbb8c2beb85c31aab5fcd0213270c924672fe4b722432","observation_id":"72de3eb2-913c-4a73-80a2-09f4f970430a","resolution":{"observed_at":"2026-08-03T05:18:31.756805Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:56.820793Z","title":"PhD thesis, Maynooth University","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:56.820793Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:67f04022ee73abfb8ec51063c7e4ad4202ce93c52e4c1e6c3a932d018e62042a","observation_id":"503a5126-229a-442f-ac35-cf0fbe1c358e","resolution":{"observed_at":"2026-08-03T05:14:56.820793Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-72044-9_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"4332515a-8118-4dd6-b666-d23ea6428f8d","year":2017},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:56.922246Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:84e5ff24ee4a0e8e2e4c3729c73bc8bcbbbbce9e8222fbd7d49bd041307fbf78","observation_id":"1c255806-8710-41d8-bc02-e423f2631289","resolution":{"observed_at":"2026-08-03T05:18:31.617698Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:57.019144Z","title":"In: Form","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:57.019144Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:d126ee5a0e5f529d58cac475cee6363cc38d3d5c0c096e87383d7c7caf572c5d","observation_id":"4bb60cbd-29fc-4eae-ada4-436a15c3e524","resolution":{"observed_at":"2026-08-03T05:14:57.019144Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:57.111618Z","title":"Science of Computer Programming 197:102510","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:57.111618Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:daadd8889edfa7ba9a807157fa36c55281dc2cdc076ce558c5304ca4e6cead94","observation_id":"09f524a5-8eab-40e2-b1d6-b048545462fa","resolution":{"observed_at":"2026-08-03T05:14:57.111618Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-47846-3_26","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Ogata K, Lawford M, Liu S (eds) Formal Methods and Software Engineering","venue":"Lecture notes in computer science","work_id":"e6edc2ae-1000-4d94-b59a-08e479f06014","year":2016},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:57.215408Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:98620ef617b444dac01f33d5414ed967ff329a0c671b56ce1d972a329de0f94b","observation_id":"c3727889-51de-4f44-baea-49bc0f1cb777","resolution":{"observed_at":"2026-08-03T05:18:31.439365Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:57.317137Z","title":"J ACM 39(1):95–146","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:57.317137Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:8aaa46d149790023b57d5bae1ccef20b154344d3070f4202565a86b5cdce2867","observation_id":"da529bda-5b04-449d-9914-4cf438f2f98f","resolution":{"observed_at":"2026-08-03T05:14:57.317137Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:57.413586Z","title":"J ACM 39(1):95--146","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:57.413586Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:d5254eb798b1730a4417af5a67edcd83a5deea2a6b86aa48624f66453176e289","observation_id":"931d8014-1024-445c-bf9a-2d92d2200e94","resolution":{"observed_at":"2026-08-03T05:14:57.413586Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s11334-021-00407-5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Innov Syst Softw Eng 18(4):567--580","venue":"Innovations in Systems and Software Engineering","work_id":"81e45375-4eaf-486b-955d-e04af100bb74","year":2022},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:57.533494Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:062c6339254ee1e3e009742f75a0bf6d09f59cc60c14f0660de93e6dcc11c296","observation_id":"f7a0b2cc-d50b-4bc7-bb0d-e8f8c06bc869","resolution":{"observed_at":"2026-08-03T05:18:31.272668Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:57.631689Z","title":"In: Math","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:57.631689Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:a98238e4a166a8b97517aa1ce431d4ed3629f952d397eef8c45a3d4e43b0364b","observation_id":"9a6b6b2b-15df-45d8-877e-fc69c16f38f2","resolution":{"observed_at":"2026-08-03T05:14:57.631689Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:57.708655Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:57.708655Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:90723680c9777cd0cdc5b1885f39f27cf31d29b93d7e176ca1761985fdefb47e","observation_id":"8187aaea-1052-4a5e-bc57-92c61afc4df9","resolution":{"observed_at":"2026-08-03T05:14:57.708655Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:57.806655Z","title":"In: ETFA2011, pp 1--9, doi:10.1109/ETFA.2011.6058982","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:57.806655Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:5af467cad1a37eba7ee2190c0bc6d35cf1810d1e8795dd3d6ff93e6ed8bb39da","observation_id":"f147be70-6fef-47b6-88f2-43800ff6dee1","resolution":{"observed_at":"2026-08-03T05:14:57.806655Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:57.867709Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:57.867709Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:53ca58815410bda54720c2d0dc850bc2df2c9d1d8530e0f45bf8991c91b0a107","observation_id":"ec60abf7-5624-4f72-a4b1-f6e90586a162","resolution":{"observed_at":"2026-08-03T05:14:57.867709Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:57.945213Z","title":"ACM Comput Surv 52(5):1--41","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:57.945213Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:0eb9e57d4a101fc6dbbc930a0bd3fbdb7bb0ba2007b79cde97191a32053d107f","observation_id":"e75771e3-ef70-4aee-a209-1bcb950ba91f","resolution":{"observed_at":"2026-08-03T05:14:57.945213Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.08686","last_updated":"2025-01-15T09:32:37Z","snapshot_observed_at":"2026-08-10T20:17:45.941580Z","submitted_at":"2025-01-15T09:32:37Z","title":"Knowledge Graph-based Retrieval-Augmented Generation for Schema Matching","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.08686","snapshot_observed_at":"2026-08-03T05:14:58.030190Z","title":"CoRR abs/2501.08686","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:58.030190Z"},"links":{"cited_paper":"/paper/2501.08686","citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:29c2dc328589e2f34c237ec4e3aee327540a47e8da8621112553ec8e64689aec","observation_id":"59a72122-d491-4b6e-8b5f-503545725e92","resolution":{"observed_at":"2026-08-03T05:14:58.030190Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:58.112313Z","title":"In: Intell","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:58.112313Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:433aa9f3ebd2277fc951551b230995d1c8d7a7a38fb1009caa69a0df179c3970","observation_id":"5caed3f5-f286-4c00-a63a-faf873bc273e","resolution":{"observed_at":"2026-08-03T05:14:58.112313Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:58.207107Z","title":"Softw Syst Mod 18(5):3097--3149","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:58.207107Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:d6ab1539afcef0ae64c058d4d61f71575d09b319985ffdb1b06828abd1c66ef4","observation_id":"797ed327-8a61-45c7-be6b-f6dfffc10794","resolution":{"observed_at":"2026-08-03T05:14:58.207107Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:58.285073Z","title":"Springer","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:58.285073Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:8576cde8d0cd3076b568f9cd2c8e32188eeae3a443be2f5fa20fd10bd4c9cc9d","observation_id":"1454670e-cd64-44f9-8bf2-a0e0f34ea56a","resolution":{"observed_at":"2026-08-03T05:14:58.285073Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:58.357109Z","title":"In: International Conference on Computational Creativity (ICCC)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:58.357109Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:03cb6eb4494ed9558982c21f1d7d1c481383b1e671dfa2a5f123eceb8e811585","observation_id":"7cf2ce28-fc90-4f5b-857d-dfef97b61734","resolution":{"observed_at":"2026-08-03T05:14:58.357109Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:58.427493Z","title":"In: PICS-Publication Series of the Institute of Cognitive Science, vol 1","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:58.427493Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:8736a1bbf63cf3a49f4c3dae65c202d3722e42e3a0870c9dc4c0439fc26ff597","observation_id":"a5203827-2c89-4d7c-86cc-eb34d70ec658","resolution":{"observed_at":"2026-08-03T05:14:58.427493Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:58.523576Z","title":"In: Proceedings Artificial Intelligence for Formal Methods (AI4FM)","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:58.523576Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:1de5414c28bfcb6cc5ec43108aa5db26c9c34bfa19f38956d9d99abc3d7b4a4c","observation_id":"5ef70ab3-dc2e-4859-96ec-83375d780eb3","resolution":{"observed_at":"2026-08-03T05:14:58.523576Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:58.603301Z","title":"PhD thesis, National University of Ireland Maynooth","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:58.603301Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:1d02b89ce2f60cb327fa39500a1614493594bbaae2670d7db7e693acc2069b81","observation_id":"0f6a626c-49d2-4779-9f5b-5ad4bcd849b2","resolution":{"observed_at":"2026-08-03T05:14:58.603301Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:58.647025Z","title":"Springer","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:58.647025Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:5baba9a3c3f1b9f7f5ffd32cc39df02c42900cb7be5e562fc0d39855613dbc25","observation_id":"d392e936-d948-49d6-baf1-bcd436870cb1","resolution":{"observed_at":"2026-08-03T05:14:58.647025Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.entcs.2008.03.039","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Electronic Notes in Theoretical Computer Science","work_id":"e08b2df9-18d5-4b73-806a-9b3b453e579c","year":2007},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:58.716695Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:7e57e739bed669a0aa328f79fab1998ce1c67bf0b2a421506952504bad4a53c2","observation_id":"cfab9c63-60e8-46ca-90ca-25aee3646405","resolution":{"observed_at":"2026-08-03T05:18:31.021353Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:58.786853Z","title":"In: International conference on applied engineering and natural sciences, pp 1050--1056","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:58.786853Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:0ec7f48cd73cccb5021cc9d8ddf50e4a9e0cc097b7a5e46111300e935254d5ba","observation_id":"f1f1f0c6-ce4a-4898-9e00-54086737dd63","resolution":{"observed_at":"2026-08-03T05:14:58.786853Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-78952-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"f8ca8059-3e96-4228-a8e2-f3ad6c3b8233","year":2024},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:58.858607Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:40911e9a2f5bfa25ec10b971a2a5d22dbb941d58bc55ca2686fbf00546e50703","observation_id":"b0996183-6bc5-4638-a0d3-d99871185270","resolution":{"observed_at":"2026-08-03T05:18:30.895178Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:58.928860Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:58.928860Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:f3231c08d9214fd482323c0b55da8346ef1c676cba03148cecd2432806000dda","observation_id":"03a9dea3-7845-4df9-982e-e2002d31cbd0","resolution":{"observed_at":"2026-08-03T05:14:58.928860Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:59.001213Z","title":"large language models: Competitors or partners in supporting virtual museums","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:59.001213Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:52f9330b5dd8255f774206bd46711f9a5e1954c240308e6acb549a19a76ff566","observation_id":"2ad2d91a-09f1-401b-88fc-40eb5d2ba0f7","resolution":{"observed_at":"2026-08-03T05:14:59.001213Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2022.emnlp-main.174","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Goldberg Y, Kozareva Z, Zhang Y (eds) Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing","venue":null,"work_id":"82f60cbf-aa65-40a7-bd07-99a02896184f","year":2022},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:59.077169Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:598e4ef3a46ccd27d12dcfa07bbbc2df6efb82927a44978ff2357449a4311c03","observation_id":"f27584a4-60e9-4c7c-8b76-ba16a2d8799f","resolution":{"observed_at":"2026-08-03T05:18:30.764006Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-45648-1_10","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Bert D, Bowen JP, Henson MC, et al (eds) ZB 2002: Formal Specification and Development in Z and B","venue":"Lecture notes in computer science","work_id":"1b5af1bf-dc6b-439f-b657-2c315585af58","year":2002},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:59.147676Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:d38c94608b046782c0e4317bd03b756e361a8dfb3b7594e20ea1c141b19a373d","observation_id":"99bd7cd0-6632-4a1d-beb1-3bd7bb2ec1dd","resolution":{"observed_at":"2026-08-03T05:18:30.617448Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T05:14:59.312521Z","title":"In: Boiten EA, Derrick J, Smith G (eds) Integrated Formal Methods","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics","version":2},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-03T05:14:59.312521Z"},"links":{"citing_paper":"/paper/2602.02881"},"observation_digest":"sha256:6bed2def86e7c90ee76ec5a5acbcdd72baf4942e7f9697ee7811d9b615b07f36","observation_id":"139ec611-a077-4e1e-84d8-e30850d71ea3","resolution":{"observed_at":"2026-08-03T05:14:59.312521Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2602.02881","last_updated":"2026-06-16T14:27:14Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-10T12:32:12.865102Z","submitted_at":"2026-02-02T22:39:02Z","title":"Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics"},"reference_resolution":{"displayed":40,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":32,"verified_exact":8,"verified_fuzzy":0},"total_outbound_references":40},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"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."}