{"as_of":"2026-08-22T11:15:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2039f61de3dd43c913134c1188c6ab1851bbacb42223d5abbfbb14c5e05504bb","coverage":[{"denominator":44,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":44,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-11T20:47:20.640887Z","state":"measured"},{"denominator":44,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":44,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+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/2607.04232/citation-record","integrity":"/paper/2607.04232/integrity","json":"/paper/2607.04232/citation-record.json","paper":"/paper/2607.04232"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T20:47:20.640887Z","title":"Leveraging existing instrumentation to automatically infer invariant-constrained models,","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:e58e5d4c9c0e08b5d9fcf2f0a566bfcb7442359b2a61dfadc6c56a94b12aa6cc","observation_id":"5be02dfa-0bef-4846-8343-0a6ae22ca539","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Dynamically discovering likely program invariants to support program evolution,","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:d730a94c36c92a5cd28255253cf6ebfb11e1fa662c643fe2136b5d127bf0743c","observation_id":"7c46956b-c942-4219-a420-e2d98e0fec70","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Can large language models transform natural language intent into formal method postconditions?","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:acc6f5ca6de43a1d87f3f8f9c921c923cb8fbef5264eefabd90bc8f069d0561a","observation_id":"413eadf7-06a1-49ab-a11e-73eae01d73d6","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"SpecMind: Cognitively inspired, interactive multi-turn framework for postcondition inference,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:e002781101ff0c0970060a527566c7cda45f28c9f7a0e43b845a4ab78209618a","observation_id":"3390f0d0-d82f-4823-a5a1-291608c249f6","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.19599","last_updated":"2025-08-23T07:26:21Z","snapshot_observed_at":"2026-08-16T12:47:00.332382Z","submitted_at":"2025-03-25T12:30:30Z","title":"HoarePrompt: Structural Reasoning About Program Correctness in Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.19599","snapshot_observed_at":"2026-07-11T20:47:20.640887Z","title":"Hoareprompt: Structural reasoning about program correctness in natural language,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"cited_paper":"/paper/2503.19599","citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:356c56abc3a8f142af915528b9d64173a05cb5f39acec6e671cdef66c647e72d","observation_id":"bd26cde0-332b-463e-ba7b-18b9015c4dda","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Specrover: Code intent extraction via llms,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:06a7b7880049ee95f6f22fd7b21e26e31b904a9a820cec0150431da7330a3bd4","observation_id":"087b4b78-7920-47f8-b884-4ca806b73b7c","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Mining specifications,","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:3030d0bbcb28579cfba9709d9eb901d0c5ec0cdf761ace463db0cc6920e846d3","observation_id":"0b43e4fb-87d2-4ec2-b6a2-45c686fce648","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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":"3463.127348","doi":"10.1145/1273463.1273487","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Static specification mining using automata-based abstractions,","venue":null,"work_id":"7e01a359-acf9-4353-a642-45b52c978ea7","year":2007},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:a5ba081400ff296495e55e90077bec7128fa0bb0b2b6fc55333966a056d564f7","observation_id":"f78d234f-0fe5-476a-a382-013069099b13","resolution":{"observed_at":"2026-07-11T20:48:15.514733Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-07-12T11:50:17.752378+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T11:50:17.752378+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-11T20:47:20.640887Z","title":"Bugs as deviant behavior: A general approach to inferring errors in systems code,","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:c078b7f6a6a39355d9fdcfb6ab87491a1b5683d62582dc8e26bed8f57bddc000","observation_id":"3d7e0755-aeb2-4e83-9e6f-6d7c57bbb060","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"From uncertainty to belief: inferring the specification within,","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:fe6fa8877ea6c07e95eb2d3910b462c716f9ae072710f393553bf4e7e2a65557","observation_id":"9204acc7-77c1-4bed-abce-2c883fa4491a","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Static specification inference using predicate mining,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:d336a811d37fa598746e5773384a8d575e20df02e78f7514c059bab4f8bdd9b5","observation_id":"b68016d8-d1a4-49fb-8d47-6aceb623a6f7","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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":"5793.198582","doi":"10.1145/1985793.1985820","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Inferring better contracts,","venue":null,"work_id":"e6c15b4e-1f46-45d3-a7de-d65dd7f4f591","year":2011},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:c70bc9d877cc04f6f739d78905541e7cfa562cb78c1ec3ed7f55c7c1269e09d6","observation_id":"c8d96417-1479-484d-b55f-224b4cd2ba23","resolution":{"observed_at":"2026-07-11T20:48:15.543167Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-07-12T11:50:18.519497+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T11:50:18.519497+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-11T20:47:20.640887Z","title":"An abstract interpretation framework for refactoring with application to extract methods with contracts,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:18dbebc947adde0cd3ad5fbebca77f0d12084b98a02879af182f6439555ffd43","observation_id":"f61c05ee-1f6f-45f9-841c-6a5456e1c237","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Inferring method specifications from natural language api descriptions,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:039b81e914325d6c13c8b72537db7b3558a2e6e060bd900753845af503385c5b","observation_id":"0ff665da-e2a1-4cc5-bb7b-cfba0a3f3768","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"/*icomment: bugs or bad comments?*/,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:a5220ccfb040eca04f87829d7857db8c99125fb59a230b9a6997c221dd24b497","observation_id":"97c2c21e-3d0a-4b0e-a56b-66fbbbd0e04b","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"acomment: mining annotations from comments and code to detect interrupt related concurrency bugs,","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:127d97a966cd5f740b104c25f07f78f35e7827e31d4abd92fd3fcc4cab1292ee","observation_id":"2d352dc7-2130-4eb9-bc07-afae85101be0","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"@tcomment: Testing javadoc comments to detect comment-code inconsistencies,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:61a92b4b1671899b4eb4dfcabf20446e97f509b759623a680451a6a4731c0581","observation_id":"71e98736-5522-4839-b388-64eb96780c01","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Translating code comments to procedure specifications,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:2b9996aeecb182d16a19410b5db715fda3aae929b016ddebb4caf593d82b507d","observation_id":"b582a155-8fc1-4680-b62c-e543b86c36b7","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Inferring resource specifications from natural language api documentation,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:dadcaafdf4359da3ea43ff620552094fde38f8c22c050a19fe115caaf641220c","observation_id":"6c54556a-29de-4980-8367-eb4439ed83ab","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Analyzing apis documentation and code to detect directive defects,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:633ed995600f94c2fb78e720e88db194910123847f0bcbeb1cbff20aafb39a7d","observation_id":"c583ee28-dccf-412c-b40b-af1214091406","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Pr-miner: Automatically extracting implicit programming rules and detecting violations in large software code,","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:1f13008cb052b459fc9718eaf7ef4239c9a4dc3aa2c9c25e9f75c31e7e513a74","observation_id":"a95808e2-6f5d-4242-8f71-95ed5a2dc4ed","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Dynamine: finding common error patterns by mining software revision histories,","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:94c325827c6e42ce1586247303034ed9ca12312e1e6e0eabe71ba48eaeafb1ee","observation_id":"639079c6-d732-4330-9c90-b5a1bc947ef7","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Mapo: Mining and recommending api usage patterns,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:5099e52a3ee03d4b9ffc21baf5ad15fa81b0a94a9ba27df29bd8ecf8683c4749","observation_id":"b8df7c9d-a668-4297-93c9-52e4dc8c4389","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Detecting object usage anomalies,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:f8e2c8f420f04843149c35237943ce950d743e47c0da211184c09a132c0ef090","observation_id":"816b78d1-fb74-4b39-b9e3-cb2e9df4a2fb","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Automatic mining of source code repositories to improve bug finding techniques,","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:6de9a49c50a45e2e4062b5e1fc34f0a1958a59e02371bb325882f058ddf542a3","observation_id":"8d4610ca-d92c-4768-b694-a6b2b728ebb4","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Alattin: Mining alternative patterns for detecting neglected conditions,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:0ece04f651c3610a02bd562a4d0183536cc67d6a33b2f661e2362bd312df75cd","observation_id":"6c6937c7-a92d-40ca-8a89-14f4be7c6492","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Graph-based mining of multiple object usage patterns,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:7101cd0280e98cd403db32b602d6e598e1ca4047419aa9bcc877cc37ef641f72","observation_id":"a6cdc4d0-da67-4c75-83f4-1205d37404e6","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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.1109/ase.2009.60","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Automatic generation of object usage specifications from large method traces,","venue":null,"work_id":"a51cbcbc-7d8c-4312-a35c-b05842057f9d","year":2009},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:ad85c43922b2e4d26599d2cfb4075b98249d76000c54b0a093e35d1938f689b7","observation_id":"bd901a05-43d4-4cf8-b93f-ad7361a75819","resolution":{"observed_at":"2026-07-11T20:48:15.595840Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-07-12T11:50:21.438208+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T11:50:21.438208+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/ase.2009.30","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Mining temporal specifications from object usage,","venue":null,"work_id":"f62bb713-cbd1-42be-b5c3-d2bef797e412","year":2009},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:6454ee7e3488451005ca0f94a3bafaff363e2e72676d44232dbcbf8860fe1d12","observation_id":"8f28da47-b738-4cd1-bc2d-d66ed18e098f","resolution":{"observed_at":"2026-07-11T20:48:15.533305Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-07-12T11:50:21.673476+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T11:50:21.673476+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+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-07-11T20:47:20.640887Z","title":"Toga: a neural method for test oracle generation,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:f4615016723f8294c0c39a3f7f920f3fbd15f02db7e0693e4632727fff73a85b","observation_id":"733a2311-4b05-43ff-8989-1fc2f0e75311","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Using transfer learning for code- related tasks,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:07684f3ee04a9ac375d2aa1f2ae9d46288c2cac62a7a03a74d730ff321645a03","observation_id":"c7b5a9b4-9ee2-4bae-9673-3cb7dbdfc1ed","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Generating accurate assert statements for unit test cases using pretrained transformers,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:1083c4ceae35b6bbe591df71c9dd465f68cd5de370e5ad46497f0b9d192b6e3d","observation_id":"022c6746-feb9-4976-8802-c84695ca9c17","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-18T13:34:35.336328Z","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-07-11T20:47:20.640887Z","title":"Interactive code generation via test-driven user-intent formalization,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"cited_paper":"/paper/2208.05950","citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:2f408683f9b6ddc28db151af5b32736d8903881979f4cdde892702102670175b","observation_id":"8cb71d70-63b4-4c89-9984-81708895c95d","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-08-20T10:04:13.215084Z","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-07-11T20:47:20.640887Z","title":"Unit test case generation with transformers and focal context,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"cited_paper":"/paper/2009.05617","citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:10db8b2c8735930597f0eaf1c4826cd333149d627191ef341b89fe35329a8cae","observation_id":"4032237a-4c66-4c9a-93f1-a3a0cef201f1","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:d57ae290ba878f577130f0b3b3bb19b832db2f6a5b085c02538f641253d324b0","observation_id":"016cfb9b-72c8-47dd-8431-238cdea7f1b7","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Coverup: Effective high coverage test generation for python,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:b420ce98882c746505b2ccf2c8d1e2920a562bae6ccd526461e3ea32c1bbdcfc","observation_id":"5f1a7d1b-9c04-4d29-955c-622245e6a05c","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Evospex: An evolutionary algorithm for learning postconditions,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:64f7e90d5dea6dc2f64140cbaf2148517d4ebf1e21f7282af560a8c5e4111318","observation_id":"ea62cfc7-e98d-4ce6-8412-d51e5b7d346b","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-18T10:15:14.421040Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-07-11T20:47:20.640887Z","title":"Can large language models write good property-based tests?","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:729346dff6f496c3133a0d54235914ddca5a233dd87424055b82e58421f7be77","observation_id":"eef72ad5-77e4-40a7-bc2f-54267f3c2b09","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Toward trustworthy neural program synthesis,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:5fc87df72a2a5d1ba416a2ccd92850d3162b78e8a3afd273de1b2f978d4c5543","observation_id":"18656ab7-6dae-4fab-be7a-7af32f971847","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Learning invariants using decision trees and implication counterexamples,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:c92d181a11f4e9456f85edb04be6d479883adb1b36f5d3491ceb7dc90af4aa2f","observation_id":"6308755b-6edd-4a6e-9095-1bfa8358d677","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Guiding program synthesis by learning to generate examples,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:f3d0a5bac3b5c4de076cd0643783a762e63cd1ba5187328eca9b8e8faac7b54d","observation_id":"e9a19474-2179-4f9e-ba68-5a17e4b9d742","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Learning nonlinear loop invariants with gated continuous logic networks,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:731c00ca4890c7d0878d50867942ba4918b49292ef0114b32075ac3fb43353e7","observation_id":"dc5ef825-7b01-4349-86d3-94bdeab26288","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Can large language models reason about program invariants?","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:80cf9d61a554552915402c7d4b0d0b90d034ff76906c62600cb7a23b1a51f660","observation_id":"6a51ad27-5e52-476f-90f4-8913c2b74455","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","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-07-11T20:47:20.640887Z","title":"Available: https://speccoder.site","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:5280e6555751aa7cc827b7d90531c9f0917b7fabd1371271b1c52668e353bb2f","observation_id":"7dbe3f47-a412-4db9-8a2b-a15d15495b1a","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications"},"reference_resolution":{"displayed":44,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":40,"verified_exact":4,"verified_fuzzy":0},"total_outbound_references":44},"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-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 22 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2607.04232."}