{"as_of":"2026-08-10T03:53:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7cb83cc74f45482ef3d497ebc4699749e198bc92698a89d85fcae7258cb9cad9","coverage":[{"denominator":7,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":7,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T21:21:37.339174Z","state":"measured"},{"denominator":7,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":7,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2602.20610/citation-record","integrity":"/paper/2602.20610/integrity","json":"/paper/2602.20610/citation-record.json","paper":"/paper/2602.20610"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:21:37.052678Z","title":"For example, the postcondi- tions produced at the attempts #2 and #5 are the same even though the one at attempt #2 is incorrect","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.20610","last_updated":"2026-06-28T18:36:53Z","snapshot_observed_at":"2026-08-08T01:47:30.734821Z","submitted_at":"2026-02-24T07:01:17Z","title":"SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T21:21:37.052678Z"},"links":{"citing_paper":"/paper/2602.20610"},"observation_digest":"sha256:d3e8a5d35948b6764e69eda45ba48a9dbe234a3a82bfd2cb4e95080d21e84629","observation_id":"5e6030c2-ae5e-46fe-a456-4444c8280517","resolution":{"observed_at":"2026-08-02T21:21:37.052678Z","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-02T21:21:37.185016Z","title":"For example, 12 Table 3: Performance on Distinguishing Bugs","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.20610","last_updated":"2026-06-28T18:36:53Z","snapshot_observed_at":"2026-08-08T01:47:30.734821Z","submitted_at":"2026-02-24T07:01:17Z","title":"SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-02T21:21:37.185016Z"},"links":{"citing_paper":"/paper/2602.20610"},"observation_digest":"sha256:6ba1c9f63afbceb98847f5176a5d481fe0da8ccae6fcffac187b8cb8a04e14e2","observation_id":"9d917cb6-56a2-4681-99da-d49c944fd531","resolution":{"observed_at":"2026-08-02T21:21:37.185016Z","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-02T21:21:37.339174Z","title":"After getting the feedback on its incorrect condi- tion, itexpanded the condition to a correct one to check that the output string can be converted to an integer","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.20610","last_updated":"2026-06-28T18:36:53Z","snapshot_observed_at":"2026-08-08T01:47:30.734821Z","submitted_at":"2026-02-24T07:01:17Z","title":"SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-02T21:21:37.339174Z"},"links":{"citing_paper":"/paper/2602.20610"},"observation_digest":"sha256:cf53284208bdfe6d7a60cb9c024d1021776bca893447adaa4ab26bf7701544b9","observation_id":"9ebebc7c-8be6-47e3-b0d5-4df6ea4dfea9","resolution":{"observed_at":"2026-08-02T21:21:37.339174Z","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-02T21:21:36.759700Z","title":"Shuvendu K","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.20610","last_updated":"2026-06-28T18:36:53Z","snapshot_observed_at":"2026-08-08T01:47:30.734821Z","submitted_at":"2026-02-24T07:01:17Z","title":"SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference","version":3},"reference_index":176,"source":"pdf_text","source_observed_at":"2026-08-02T21:21:36.759700Z"},"links":{"citing_paper":"/paper/2602.20610"},"observation_digest":"sha256:1119176b7b3cc126a12689d698271fbfbecc61710a353593ac02679200ee19c3","observation_id":"087c1526-5941-4b4b-8216-fc6970e0b3a9","resolution":{"observed_at":"2026-08-02T21:21:36.759700Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2009.05617","last_updated":"2021-05-20T23:11:01Z","snapshot_observed_at":"2026-07-06T09:54:57.110238Z","submitted_at":"2020-09-11T18:57:36Z","title":"Unit Test Case Generation with Transformers and Focal Context","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2009.05617","snapshot_observed_at":"2026-08-02T21:21:36.947026Z","title":"Jiawei Liu, Chunqiu Steven Xia, Yuyao Wang, and Ling- ming Zhang","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.20610","last_updated":"2026-06-28T18:36:53Z","snapshot_observed_at":"2026-08-08T01:47:30.734821Z","submitted_at":"2026-02-24T07:01:17Z","title":"SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference","version":3},"reference_index":315,"source":"pdf_text","source_observed_at":"2026-08-02T21:21:36.947026Z"},"links":{"cited_paper":"/paper/2009.05617","citing_paper":"/paper/2602.20610"},"observation_digest":"sha256:fa6747c22a6a839cb2a64c5ff77f29c96ed41f975ac552de1b0fbdfd3f9055e1","observation_id":"6bf828a6-20dd-47af-9ad0-07404e8730fc","resolution":{"observed_at":"2026-08-02T21:21:36.947026Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-08-08T11:58:24.516369Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-02T21:21:36.676252Z","title":"InProceedings of the 29th ACM SIGPLAN SIGACT Symposium on Princi- ples of Programming Languages, POPL ’02, pages 4–16","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.20610","last_updated":"2026-06-28T18:36:53Z","snapshot_observed_at":"2026-08-08T01:47:30.734821Z","submitted_at":"2026-02-24T07:01:17Z","title":"SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference","version":3},"reference_index":2002,"source":"pdf_text","source_observed_at":"2026-08-02T21:21:36.676252Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2602.20610"},"observation_digest":"sha256:1fcf71036344568c45d041959153f37e62df0008e60011f0d084f340869ea5c7","observation_id":"2fe1aa98-e880-45ad-a743-7f54fcd8e4f9","resolution":{"observed_at":"2026-08-02T21:21:36.676252Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2208.05950","last_updated":"2023-10-04T01:53:15Z","snapshot_observed_at":"2026-08-08T01:47:02.161960Z","submitted_at":"2022-08-11T17:41:08Z","title":"Interactive Code Generation via Test-Driven User-Intent Formalization","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2208.05950","snapshot_observed_at":"2026-08-02T21:21:36.857236Z","title":"Larissa Laich, Pavol Bielik, and Martin Vechev","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2602.20610","last_updated":"2026-06-28T18:36:53Z","snapshot_observed_at":"2026-08-08T01:47:30.734821Z","submitted_at":"2026-02-24T07:01:17Z","title":"SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference","version":3},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-02T21:21:36.857236Z"},"links":{"cited_paper":"/paper/2208.05950","citing_paper":"/paper/2602.20610"},"observation_digest":"sha256:4326de9bf597900aef6da07876d2354e2b2ccf56c2c4fc50408e1337cb060803","observation_id":"68a58cf8-a4eb-49d4-846c-cac0d66c4e1f","resolution":{"observed_at":"2026-08-02T21:21:36.857236Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2602.20610","last_updated":"2026-06-28T18:36:53Z","latest_version":3,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-08T01:47:30.734821Z","submitted_at":"2026-02-24T07:01:17Z","title":"SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference"},"reference_resolution":{"displayed":7,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":7},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 7 of 7 outbound references and 0 inbound Pith citation observations for arXiv:2602.20610."}