{"as_of":"2026-08-07T05:01:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4c6a2c35e3b257f63113f11ad9a2075f23cbca2c0e59de3a9d600bfcda7d4815","coverage":[{"denominator":81,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":81,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T17:41:43.821886Z","state":"measured"},{"denominator":81,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":81,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-06T06:34:29.942622+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/2507.10182/citation-record","integrity":"/paper/2507.10182/integrity","json":"/paper/2507.10182/citation-record.json","paper":"/paper/2507.10182"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:41.889311Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:41.889311Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:b8a2d6ecc9ba794dde17ebad7e2e73b10263757498e8553d5d11f965fdcd40d8","observation_id":"0cfab276-623f-4ac9-a14a-fb636cd4c9c6","resolution":{"observed_at":"2026-08-06T17:41:41.889311Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.11791","last_updated":"2024-08-21T17:24:15Z","snapshot_observed_at":"2026-07-06T19:04:09.389583Z","submitted_at":"2024-08-21T17:24:15Z","title":"Critique-out-Loud Reward Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.11791","snapshot_observed_at":"2026-08-06T17:41:41.971957Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:41.971957Z"},"links":{"cited_paper":"/paper/2408.11791","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:4c2cc74eef3cbe78f6685d4e06b44659b4ca3862319feef6a91403ec7a4d4872","observation_id":"f312f2fd-44f8-487b-a850-46a7ca56ff50","resolution":{"observed_at":"2026-08-06T17:41:41.971957Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:45.205887Z","title":null,"venue":null,"work_id":"adc144ca-2fa4-4b7b-8c71-d805b8dc7897","year":2018},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.081856Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:f9951f0841c7bcd0211cd235ddb4521cbb12a82b4f9f48f75436264342392888","observation_id":"b2c1ac3d-84f9-4854-a68b-4af3ffbe1fb5","resolution":{"observed_at":"2026-08-06T17:41:45.210592Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:45.188335Z","title":null,"venue":null,"work_id":"665dc4ba-f027-4bd2-8285-6489a98132d8","year":2015},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.190478Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:4d33d6d603bf281f6c28e5d9da99a5644e0f5579d854f74215db99abf7681b09","observation_id":"2d4ab379-16ce-4f2e-a8d0-b3455325adcf","resolution":{"observed_at":"2026-08-06T17:41:45.194308Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:45.172640Z","title":null,"venue":null,"work_id":"bd3f5cbf-eddd-44cf-a393-a2b569ed9ed6","year":2018},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.343746Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:1fb82e3e006079c011fdd97538ebe599ba03347c1651680a354f21de762619bd","observation_id":"1a8e0f10-08dd-4169-965e-8768062ec710","resolution":{"observed_at":"2026-08-06T17:41:45.177868Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:45.156935Z","title":null,"venue":null,"work_id":"6ffa5792-562b-4dcc-9e9d-d3f0e00b54fa","year":2016},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.454497Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:70b72d940dfcf8cd381876dd21ac4e863c6e688a3e31fc1d991a71fc33ddc22a","observation_id":"f5ff1b5d-3619-4520-aad1-4b1e72e6f4b8","resolution":{"observed_at":"2026-08-06T17:41:45.161390Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.09044","last_updated":"2023-10-13T12:12:34Z","snapshot_observed_at":"2026-07-06T16:32:27.303662Z","submitted_at":"2023-10-13T12:12:34Z","title":"KCTS: Knowledge-Constrained Tree Search Decoding with Token-Level Hallucination Detection","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.09044","snapshot_observed_at":"2026-08-06T17:41:42.570998Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.570998Z"},"links":{"cited_paper":"/paper/2310.09044","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:af9808987ae6d32d41b4dc197a2ac720a2dec2bed47a7bfbf4935940ed911ed6","observation_id":"2efabcb6-cea8-4202-8e2d-a9fcb7ec05f8","resolution":{"observed_at":"2026-08-06T17:41:42.570998Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:45.141694Z","title":null,"venue":null,"work_id":"d0a2a859-a50d-4caa-aca5-c96a0f132dbe","year":2023},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.713406Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:b59fd46a50719431ad1c69718d478355e903fe0547ed640a84d1bdebfe5af98b","observation_id":"cf03f956-857d-49c8-a347-de605c6e3bb8","resolution":{"observed_at":"2026-08-06T17:41:45.146601Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:45.125037Z","title":null,"venue":null,"work_id":"e6964195-b449-471c-9667-512a4b67cd82","year":null},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.722094Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:e1e7f8f7ebfa891ca6c19e475cf3e035852f851436f2a3a9ff77127f46957172","observation_id":"ed18becd-43be-4770-90ae-020635c4ee95","resolution":{"observed_at":"2026-08-06T17:41:45.129852Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:45.092971Z","title":null,"venue":null,"work_id":"1d677fe9-df43-480b-8303-2e6d471b0565","year":2013},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.821161Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:ade4252a63ccc6c3305b7989cb04900f662cbd4a9cb67fdb4dde66aa78cdf75f","observation_id":"15f0ee51-ad2a-4705-8b98-398edbd29fb4","resolution":{"observed_at":"2026-08-06T17:41:45.098207Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.07841","last_updated":"2024-09-16T13:18:23Z","snapshot_observed_at":"2026-08-07T03:58:21.441544Z","submitted_at":"2024-02-12T17:52:05Z","title":"Do Membership Inference Attacks Work on Large Language Models?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.07841","snapshot_observed_at":"2026-08-06T17:41:42.827941Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.827941Z"},"links":{"cited_paper":"/paper/2402.07841","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:43fd937ad26f161235821513d6014cec3e8d5e288e3f1aa21f1899b7246f9a47","observation_id":"606cf67f-3846-4448-8f5a-9353ce44e412","resolution":{"observed_at":"2026-08-06T17:41:42.827941Z","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-06T17:41:42.840304Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.840304Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:5ce5f04e0f907b6d90ffb341e0c1c9385c0312e764e24d2c1a63ddd173eeafe8","observation_id":"f03a7e85-56f6-4bca-9325-baad0708d097","resolution":{"observed_at":"2026-08-06T17:41:42.840304Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:45.047920Z","title":null,"venue":null,"work_id":"cd8cf0de-0663-402a-ba81-81428f325f45","year":2001},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.849845Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:a446ca9e6d06cb7b7ebcde31a02645a281ca2799dcace641d72b3ab83f1810c2","observation_id":"b8617fb7-91cd-4309-968b-d538d66ef4f6","resolution":{"observed_at":"2026-08-06T17:41:45.052931Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:45.029971Z","title":"Ernst, Jeff H","venue":null,"work_id":"633466fc-0333-467a-b0a8-2fbaa7a089fa","year":2007},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.854631Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:a1d32fe9d64fcb320814b57a8413288f6b34424aa8b8e8d22e6960d03b3ec6dd","observation_id":"8126fe71-9e8c-4776-9525-311a59ed26e9","resolution":{"observed_at":"2026-08-06T17:41:45.036095Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:45.012388Z","title":"Rustan M","venue":null,"work_id":"36f05f61-72ed-4c4c-a7fb-52cc7782422e","year":2001},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.859157Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:f40ef9d48e37be1a6668615be07b3baf27d0b22a64030e11fb165498dd6403ed","observation_id":"9f40efc6-5cf2-4484-ae0d-3a94b030ca01","resolution":{"observed_at":"2026-08-06T17:41:45.017246Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.994899Z","title":null,"venue":null,"work_id":"91529508-1c15-470c-b5c0-17395f0aa5ab","year":2023},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.863493Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:69577047e2cf51ec8366a5cc77a6f49ccc21bed1005280f573f955a20720d8dc","observation_id":"49062574-fc58-46ed-a442-ccec377dc27e","resolution":{"observed_at":"2026-08-06T17:41:44.999392Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.978002Z","title":null,"venue":null,"work_id":"1c73b21a-4d41-4242-825d-d1eadd28141f","year":2016},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.867831Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:24e9a48bfc4ead91497d8011ac4357a09fb0644df5c41fb8066e8fcb04f3213d","observation_id":"202a8002-0562-41b3-a825-a668b0738939","resolution":{"observed_at":"2026-08-06T17:41:44.983455Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-01-22T15:19:35Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12948","snapshot_observed_at":"2026-08-06T17:41:42.872406Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.872406Z"},"links":{"cited_paper":"/paper/2501.12948","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:4d03c5981c562a4c025a1b184ab0df62d83830628805f178933fd995e791945f","observation_id":"7912d1e4-505a-4f13-acbe-7e72503546f8","resolution":{"observed_at":"2026-08-06T17:41:42.872406Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.961709Z","title":null,"venue":null,"work_id":"546a5b74-840c-4573-9c96-4595cef68802","year":2002},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.877788Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:daef73b186a303aeaeb183f01069a46bdfd6ed73503a39abd1c14e0c2996f5cc","observation_id":"4e5d1baf-f041-4526-8120-1216cb96b75e","resolution":{"observed_at":"2026-08-06T17:41:44.966535Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.945283Z","title":null,"venue":null,"work_id":"51da2939-752b-45c1-b7e4-0e22135e793b","year":2008},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.882693Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:2a179859649d4ccbd1a650bbb71587e0f9f894ab8fc5b6236807b463de3e7c9d","observation_id":"af61a378-697d-4dd3-9768-d0b1b75bd5be","resolution":{"observed_at":"2026-08-06T17:41:44.950114Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.21276","last_updated":"2024-10-25T17:43:01Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-10-25T17:43:01Z","title":"GPT-4o System Card","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.21276","snapshot_observed_at":"2026-08-06T17:41:42.887638Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.887638Z"},"links":{"cited_paper":"/paper/2410.21276","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:c0b127cf24b4a6e69cb4e822fad50bf68a6100f5c9bc40a90d4f6354407663f4","observation_id":"cdfdf477-ed6e-4ca5-972c-834e76d47229","resolution":{"observed_at":"2026-08-06T17:41:42.887638Z","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-06T17:41:42.892314Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.892314Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:447141fa9f92c8af59f8e693f4c362e6727b36dbbccb27947fcc16b7e8b14bde","observation_id":"2eaf56ba-57fc-49d2-abe2-b988d5a92d8a","resolution":{"observed_at":"2026-08-06T17:41:42.892314Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.919483Z","title":null,"venue":null,"work_id":"90fbafe5-6b0e-4880-992a-dea8fbddb0cb","year":2002},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.897366Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:8aa804e9e2ced4482d4481f8235be0b8da91b6b8823be1f26f2bf59f136f5bb0","observation_id":"1b9ba446-84f3-49fe-bf4b-273e08c375d7","resolution":{"observed_at":"2026-08-06T17:41:44.923666Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06T17:41:42.902242Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.902242Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:e6f5cd0f50ebfe226af51a780894688548013beaa06e2fdf20b73bd002180885","observation_id":"0e514331-b473-4e0e-92cc-e68d6c48232f","resolution":{"observed_at":"2026-08-06T17:41:42.902242Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2110.10054","last_updated":"2023-05-05T09:13:00Z","snapshot_observed_at":"2026-07-06T11:59:33.023193Z","submitted_at":"2021-10-19T15:30:24Z","title":"Generating Symbolic Reasoning Problems with Transformer GANs","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2110.10054","snapshot_observed_at":"2026-08-06T17:41:42.907384Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.907384Z"},"links":{"cited_paper":"/paper/2110.10054","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:4c2ab7e6f5985fabfc91270b6e5e066e73374c01e543a13a9f15955b23945026","observation_id":"7198e89f-12dd-41d7-aa59-4ad13a602d0a","resolution":{"observed_at":"2026-08-06T17:41:42.907384Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.893362Z","title":null,"venue":null,"work_id":"14973929-eee4-4bb5-bd91-1db76eca6736","year":2000},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.911904Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:4eaf734185ce64bcc77eb9e326f367c49cfa9e6c382d1baaf452ef5e4fe0ba2b","observation_id":"804b7df2-ca05-424f-8fc5-e9c4f6d72b3f","resolution":{"observed_at":"2026-08-06T17:41:44.897556Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.878469Z","title":null,"venue":null,"work_id":"ed5d6e56-13f4-4242-9913-831f59ec9a62","year":null},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.916051Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:e559c758596d8960c8d87561ed8f715b42d8501ccdb1b3f375cf00d341852ffd","observation_id":"22eed46e-62b9-4e6e-8861-2c44d6426f11","resolution":{"observed_at":"2026-08-06T17:41:44.882717Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.06161","last_updated":"2023-12-13T14:44:10Z","snapshot_observed_at":"2026-07-06T15:25:35.930688Z","submitted_at":"2023-05-09T08:16:42Z","title":"StarCoder: may the source be with you!","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.06161","snapshot_observed_at":"2026-08-06T17:41:42.925572Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.925572Z"},"links":{"cited_paper":"/paper/2305.06161","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:63e03f93da56f7541df4f689637f1da3a6af286005cae944b1cfd4165e3e5773","observation_id":"f2636174-8893-492e-b66e-66f132b1b2d7","resolution":{"observed_at":"2026-08-06T17:41:42.925572Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.848665Z","title":null,"venue":null,"work_id":"fe661a3d-082b-4fe8-864a-5ffbe787ed95","year":2023},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.930245Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:c56b961e36a0e415c68f3ad26fcc37ecfb10dd3149d9e0fd061ab109dc863db9","observation_id":"a0220d8c-b7ef-484c-9bd3-3cfc635748c6","resolution":{"observed_at":"2026-08-06T17:41:44.852950Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.863500Z","title":"In Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering","venue":null,"work_id":"93a0815f-4ee1-4ad4-bbb8-f77010a81817","year":null},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.920684Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:a7206d2f14463c9f72d8bbe5a0ca3e737183bc5dad717a0129d65be528851598","observation_id":"1c47ddd7-899e-4494-ace5-0e1ec8ecc3aa","resolution":{"observed_at":"2026-08-06T17:41:44.868008Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-07-06T17:16:29.558742Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-06T17:41:42.939165Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.939165Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:7b3131bd54c93fa6d93b148645e6fe074a1ff04cde49e3e120752417be3d3911","observation_id":"5c09277e-9aaf-4d8c-bf0a-b0e5ada24457","resolution":{"observed_at":"2026-08-06T17:41:42.939165Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.832526Z","title":null,"venue":null,"work_id":"cd007815-f17f-4095-969f-1398a403fdce","year":2007},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.943708Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:76e2ed35c0514b6d55a70bc12dc28d98bdaf989d2dc036b73fc8786036bb072e","observation_id":"476ecded-2fe6-4c6f-820e-47b43582a97a","resolution":{"observed_at":"2026-08-06T17:41:44.836989Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.15028","last_updated":"2024-04-02T17:51:49Z","snapshot_observed_at":"2026-07-06T16:23:53.247204Z","submitted_at":"2023-09-26T15:57:57Z","title":"Don't throw away your value model! Generating more preferable text with Value-Guided Monte-Carlo Tree Search decoding","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.15028","snapshot_observed_at":"2026-08-06T17:41:42.934272Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.934272Z"},"links":{"cited_paper":"/paper/2309.15028","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:88e74f931291ab5df3a95ddd029f182e221acaf421f913edf6d8b4067dc2df96","observation_id":"3386e88e-a515-4837-a495-5b0dd2c599e3","resolution":{"observed_at":"2026-08-06T17:41:42.934272Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.19393","last_updated":"2025-03-01T06:07:39Z","snapshot_observed_at":"2026-07-06T20:29:11.710285Z","submitted_at":"2025-01-31T18:48:08Z","title":"s1: Simple test-time scaling","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.19393","snapshot_observed_at":"2026-08-06T17:41:42.952509Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.952509Z"},"links":{"cited_paper":"/paper/2501.19393","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:8527d68d1c132e8db57a0fe3dc4fd38e85ce222225dc81578aa2a93b8e689c61","observation_id":"081bd0f4-3534-4040-ae4a-fe008163f03c","resolution":{"observed_at":"2026-08-06T17:41:42.952509Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.802833Z","title":null,"venue":null,"work_id":"e47b5b46-3548-4c85-8d87-62fb1b34c9a5","year":2014},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.957681Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:a75b9640d0a85dc02ffbc09fd69383f5755cd41ddec4150f585e1fdd642d116a","observation_id":"6354f373-45d7-4ef6-a462-a2b9e1c7baa7","resolution":{"observed_at":"2026-08-06T17:41:44.807679Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.818448Z","title":null,"venue":null,"work_id":"29520672-0e1a-47ec-a169-67a7d874ca08","year":2019},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.947908Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:4af0b4967993141b71bd7f23b86f9d951c9cd0b7a56e7d45a7adf6138dcf85a2","observation_id":"1bcae75d-ddc1-4cca-b7c5-e10da093a46d","resolution":{"observed_at":"2026-08-06T17:41:44.822566Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.770118Z","title":null,"venue":null,"work_id":"4d3d2431-b129-4903-83c4-b49a55cede79","year":2024},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.967674Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:84c2e45c6e3add3ba02e72725d804716c87fe23250ad549a11078cdfdc6580a8","observation_id":"a5ee484e-42d5-4353-88c8-7c00f5bcdb2f","resolution":{"observed_at":"2026-08-06T17:41:44.774946Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.756530Z","title":null,"venue":null,"work_id":"7ef66668-72ea-499c-a664-54ef0d1b50d7","year":2023},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.972404Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:8eaecae112585af85938f5d7b2b2889d4d2d9d0f3c2e029da3f03d80c3e7dd06","observation_id":"a7509b1b-ec89-4728-a3ec-9264fd3c379e","resolution":{"observed_at":"2026-08-06T17:41:44.760561Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.786568Z","title":null,"venue":null,"work_id":"94431270-8529-4525-8f41-34f4c48949fc","year":2002},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.962884Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:96b188018510c2fce3df933d239ca8168de00628649cd0790c9bbb1e5f9bc71d","observation_id":"67504e54-dccb-4ed5-95af-a226e2a3c9fd","resolution":{"observed_at":"2026-08-06T17:41:44.791461Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.730279Z","title":null,"venue":null,"work_id":"a16bda67-73b0-47c8-ba8c-21670e51b46e","year":2017},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.983146Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:a6730d806b6aa1d3fa54e4710f299865adf632ca67c3cf564d122514fb4ab419","observation_id":"9ef59ad0-0201-4756-8069-cf3ca998498a","resolution":{"observed_at":"2026-08-06T17:41:44.734291Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.716366Z","title":null,"venue":null,"work_id":"728e2840-71da-43f2-a566-decc924f8aa4","year":2007},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.988383Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:5cf71e9548170e638f9fb5809f9bcd2b9bc3ef178bd3233c3782a3677aa0d47f","observation_id":"df4e04ae-07eb-49c5-86d0-d5e3f70ae07c","resolution":{"observed_at":"2026-08-06T17:41:44.720296Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.743457Z","title":null,"venue":null,"work_id":"429f5c87-d4cd-4404-b0a1-96b5677787ce","year":2012},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.977104Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:ff8e8e6e3b921c631c4ee4e03bc5d6c61373598eced1c0e2d0ba88b3f397141b","observation_id":"24182c32-0002-46a7-97d3-fc91869061de","resolution":{"observed_at":"2026-08-06T17:41:44.747381Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1909.11542","last_updated":"2019-10-17T16:07:49Z","snapshot_observed_at":"2026-07-06T08:24:32.545342Z","submitted_at":"2019-09-25T15:05:02Z","title":"CLN2INV: Learning Loop Invariants with Continuous Logic Networks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1909.11542","snapshot_observed_at":"2026-08-06T17:41:42.997732Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.997732Z"},"links":{"cited_paper":"/paper/1909.11542","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:5bec37cd5c02afdfb1fb3043c2be017d47bc0928538da82e66f90b1ad75d8c46","observation_id":"4f1c4e80-0514-4299-8173-8148ea60366a","resolution":{"observed_at":"2026-08-06T17:41:42.997732Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.683307Z","title":null,"venue":null,"work_id":"99e05a05-bec8-4167-a84b-3f37f3d20d5e","year":2013},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.002690Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:85488ec9f53593a0577bfdf02f76e181f60894c910d5687b50ec7674a51583f6","observation_id":"aa428704-5f08-4fc6-98f8-c30bf870d5f4","resolution":{"observed_at":"2026-08-06T17:41:44.688278Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.701091Z","title":null,"venue":null,"work_id":"ed3d00ac-b4d6-4257-a45d-dfefa10fc890","year":2014},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.993237Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:bb75e3fe236b92ec68cf2becbbdbfdd8be99c563a8f29a890bee714737f1d241","observation_id":"bd113197-617a-460a-bc9c-4e649d9a2c22","resolution":{"observed_at":"2026-08-06T17:41:44.705921Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.639625Z","title":"Naik, and Le Song","venue":null,"work_id":"eed8b4fb-0604-41a3-b0cb-36b2156b80b6","year":2020},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.027570Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:ffbaa9ee4a501c5aaa6daac41e9bc5eddf7844b8ab11bea0b3c9c72278602f41","observation_id":"39e729dd-d6e9-4f77-872b-1fafa96cbc72","resolution":{"observed_at":"2026-08-06T17:41:44.643947Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.03314","last_updated":"2024-08-06T17:35:05Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-08-06T17:35:05Z","title":"Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.03314","snapshot_observed_at":"2026-08-06T17:41:43.037178Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.037178Z"},"links":{"cited_paper":"/paper/2408.03314","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:f6152d065c46cef4fef852545b2b7ce740ebc5a9a602dd98495394789c5e7f09","observation_id":"79abc518-174a-49a5-b579-3010da8d457d","resolution":{"observed_at":"2026-08-06T17:41:43.037178Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.667631Z","title":"Fink, and Marco Pistoia","venue":null,"work_id":"a9e2d647-1ce4-46a8-a98e-58f7336fd00e","year":null},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.006979Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:d1174ce1a9b542821b7a2c1415e04279edb071da6d6abda502d7bc8e2f107f99","observation_id":"60464d39-96ce-42fe-9778-73074ebdc6cc","resolution":{"observed_at":"2026-08-06T17:41:44.672059Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.653530Z","title":"IEEE Transactions on Software Engineering 34 (2007), 651–666","venue":null,"work_id":"de16c6fe-51d9-4229-b3a5-fe7ec365f3f5","year":2007},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.015256Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:cda9fd9595f8a32b63c88c41b7147b8b9b1c7b5b5d73156a708e15a48eb30b0a","observation_id":"0d65b189-30f5-496f-adfb-63636b454427","resolution":{"observed_at":"2026-08-06T17:41:44.657862Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.612457Z","title":null,"venue":null,"work_id":"1f25a20a-e566-4901-a6a2-5ae8d69e0fdc","year":2007},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.066847Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:899c3b58fe59574a5b773c769088493cb2df2fd1fe1b33f76b3204769e965cf3","observation_id":"3306f1be-f2c9-4ca7-bfd5-ba8c5810bcd2","resolution":{"observed_at":"2026-08-06T17:41:44.616539Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.598984Z","title":null,"venue":null,"work_id":"dbb9aa26-d270-448f-af78-392aaf252f31","year":2011},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.080001Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:32e7ab8d7bf0037505007520817d07040882010ebc8989de5de3d46f006f39d4","observation_id":"4561cd02-471a-452c-aee8-1ead571fa8f1","resolution":{"observed_at":"2026-08-06T17:41:44.603322Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.626418Z","title":null,"venue":null,"work_id":"55f2a17f-76f5-46ba-9072-d595d7276566","year":2001},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.047225Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:49c1a308bd08c63f4c4b1f798f8398694da2b5dc3d88ca0e6ce9529911c4dc60","observation_id":"1741e3b9-a322-4ddd-a771-286a39a637bd","resolution":{"observed_at":"2026-08-06T17:41:44.630315Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.00413","last_updated":"2023-12-01T08:37:27Z","snapshot_observed_at":"2026-07-06T16:55:29.501535Z","submitted_at":"2023-12-01T08:37:27Z","title":"Abstract Syntax Tree for Programming Language Understanding and Representation: How Far Are We?","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.00413","snapshot_observed_at":"2026-08-06T17:41:43.057480Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.057480Z"},"links":{"cited_paper":"/paper/2312.00413","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:af69523ad34bd885cba8b300227688f254a29bbf0af01ecc7ea94185c6f3763a","observation_id":"db617505-0875-4a77-b3af-10d0d4276610","resolution":{"observed_at":"2026-08-06T17:41:43.057480Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.536473Z","title":null,"venue":null,"work_id":"b882162b-374b-40c9-8605-209ae14d9aad","year":2003},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.112295Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:83b3061a562de29d1d8aaeae1f2cf65ecaa7c636398f110327ee574702e4d2a5","observation_id":"dc23f728-a028-406b-86e6-0f278101e775","resolution":{"observed_at":"2026-08-06T17:41:44.543632Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.522369Z","title":"Hendryx, Summer Yue, and Hugh Zhang","venue":null,"work_id":"1ddbe264-1750-4c07-bfd0-502c0f391c9e","year":null},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.144822Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:8399c3c09245552ace2312ec4a64dd2fa5ae9d685b63479dc6b706433b75447c","observation_id":"d7526ea4-1388-4e96-af66-e94be06affd3","resolution":{"observed_at":"2026-08-06T17:41:44.526629Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.584075Z","title":null,"venue":null,"work_id":"3f02c5ff-d150-4604-8531-33f7a968c63f","year":2012},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.090602Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:a6f23a282494b5611fd69af4b9e3a3e599c405d1470b55f94dcb6db0260ec913","observation_id":"c2f1b785-4664-403b-a6c7-1e33311c7a01","resolution":{"observed_at":"2026-08-06T17:41:44.588624Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.558738Z","title":null,"venue":null,"work_id":"eeb60214-3b5a-40f1-a774-227ca6b45ac1","year":2014},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.100628Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:f97e1ff229e87e17f0c0a4f13bd48932c350495f346e11aff4f2b9694927211a","observation_id":"fdefff27-f8f5-4c38-867e-dd156c4cf7af","resolution":{"observed_at":"2026-08-06T17:41:44.574100Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.16838","last_updated":"2024-11-20T17:57:26Z","snapshot_observed_at":"2026-07-06T18:36:12.298104Z","submitted_at":"2024-06-24T17:45:59Z","title":"From Decoding to Meta-Generation: Inference-time Algorithms for Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.16838","snapshot_observed_at":"2026-08-06T17:41:43.281934Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.281934Z"},"links":{"cited_paper":"/paper/2406.16838","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:07d7b66d2996ed3f4dc2043e2ab36b0fceec0b9fc02947cf069831f59588b323","observation_id":"bffdefc5-372f-4dbe-a03c-3aa5e4d5ae58","resolution":{"observed_at":"2026-08-06T17:41:43.281934Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.474274Z","title":null,"venue":null,"work_id":"22a6d4b6-ebc8-4600-897c-989480e722f1","year":2024},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.317189Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:9851a77c49c0a91bdb0d81b854f29d4cf042bf7e84b7fadd6df8c2037ba91a92","observation_id":"542fa2eb-29d6-4a6c-adaf-1b11457366da","resolution":{"observed_at":"2026-08-06T17:41:44.478420Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.00724","last_updated":"2025-03-03T07:53:32Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-08-01T17:16:04Z","title":"Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for Problem-Solving with Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.00724","snapshot_observed_at":"2026-08-06T17:41:43.352563Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.352563Z"},"links":{"cited_paper":"/paper/2408.00724","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:f4036aebed092486cce6190524cc0c6d28cad3f50d6a1f08c4e8cd4e6821b21d","observation_id":"09182334-d589-4982-a990-191006f1d820","resolution":{"observed_at":"2026-08-06T17:41:43.352563Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.08935","last_updated":"2024-02-19T14:07:53Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-12-14T13:41:54Z","title":"Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotations","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.08935","snapshot_observed_at":"2026-08-06T17:41:43.217012Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.217012Z"},"links":{"cited_paper":"/paper/2312.08935","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:7c678d9204f758d96b309315804f9c75cdc29dad8422f094a397f8f07e1f852b","observation_id":"6ed66dfc-55b2-4565-a3a6-5029b2957133","resolution":{"observed_at":"2026-08-06T17:41:43.217012Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.488736Z","title":null,"venue":null,"work_id":"07918b48-d20a-4443-bc8d-9cf516cf6d89","year":2023},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.254623Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:c416dd7c3a06bfc794e176b65bc7f04bd3cbe40f431bdf5259446c915ed2b82d","observation_id":"63e3d171-480d-47d9-9a4b-a581493aead7","resolution":{"observed_at":"2026-08-06T17:41:44.493682Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.444929Z","title":null,"venue":null,"work_id":"21e4f68f-12c4-4997-94c8-37060304db88","year":2023},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.455421Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:83416541393453eb07161839032ea14a7dc403f7573040f6dd98d3e50eed5d12","observation_id":"d42f525f-35e5-416c-87b6-e59fa056e231","resolution":{"observed_at":"2026-08-06T17:41:44.449632Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14333","last_updated":"2024-05-23T09:03:42Z","snapshot_observed_at":"2026-07-06T18:18:25.746022Z","submitted_at":"2024-05-23T09:03:42Z","title":"DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.14333","snapshot_observed_at":"2026-08-06T17:41:43.492399Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.492399Z"},"links":{"cited_paper":"/paper/2405.14333","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:6bb57a394094927e6d2874172f90869dfcb67b6703a2b07e91070a3646e43001","observation_id":"7d10eb7f-3b22-4f54-a79f-5cf15c460d05","resolution":{"observed_at":"2026-08-06T17:41:43.492399Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.429071Z","title":null,"venue":null,"work_id":"283c3297-8d6d-4d3d-a07a-3a8d8db1e7ec","year":2024},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.526889Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:da80ca2b8096d8eeb74e139a77fdb81cc0bc4f211b2dda0033d1abd99f38e3a7","observation_id":"a7ad2966-9f11-4313-ab7e-2b9f6d8b9e87","resolution":{"observed_at":"2026-08-06T17:41:44.434111Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.459280Z","title":null,"venue":null,"work_id":"1c27b1da-27a1-44b9-b5e2-dfada9999bc6","year":2022},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.383353Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:1bb8014d593c3595e77593060d9bc2860e3e9cf6dc66bf499d0f2766809064df","observation_id":"3b31dd25-2f9b-4384-9a72-1da5dd78d545","resolution":{"observed_at":"2026-08-06T17:41:44.464159Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.03324","last_updated":"2025-02-09T21:28:58Z","snapshot_observed_at":"2026-07-06T15:38:58.578200Z","submitted_at":"2023-06-06T00:28:39Z","title":"How Effective are Large Language Models in Generating Software Specifications?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.03324","snapshot_observed_at":"2026-08-06T17:41:43.419516Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.419516Z"},"links":{"cited_paper":"/paper/2306.03324","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:9621a7e683545b6817766151c4a6bfae1859c71075a618c931d63f469a2bdf89","observation_id":"2ea34bc9-68f2-4ab8-a51a-affa23f0ac38","resolution":{"observed_at":"2026-08-06T17:41:43.419516Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.412865Z","title":null,"venue":null,"work_id":"880cf49f-c896-4e67-a9b1-f94b7fa1881e","year":2024},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.634330Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:3a6f623e2673f1df037ddb00088e9227917e78dcd4a6a970d4b8dff27fdd644b","observation_id":"89d42cbb-b415-45aa-90a3-c6029ff3a8d4","resolution":{"observed_at":"2026-08-06T17:41:44.417808Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.394050Z","title":null,"venue":null,"work_id":"522f9540-57bf-4915-8c04-86cbbdb5dde5","year":2002},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.670092Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:3a2022b52f733a4eca0984a0cf7babfc1e794d7e323dff9e422cd387d9d9b887","observation_id":"fe41c0e7-52c8-4e7f-bc74-b81139934978","resolution":{"observed_at":"2026-08-06T17:41:44.400630Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.376194Z","title":null,"venue":null,"work_id":"386deac7-8f92-4490-9446-c96c9ac75d1c","year":2020},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.704310Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:db928d3d1022ab074d61bdfadc1db69b62f38275e95ae370966f05f718b587ed","observation_id":"b4546b60-b7c0-48c2-b1e0-bbb0437ac146","resolution":{"observed_at":"2026-08-06T17:41:44.381008Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.06772","last_updated":"2025-03-11T02:46:19Z","snapshot_observed_at":"2026-07-06T20:34:11.407726Z","submitted_at":"2025-02-10T18:51:47Z","title":"ReasonFlux: Hierarchical LLM Reasoning via Scaling Thought Templates","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.06772","snapshot_observed_at":"2026-08-06T17:41:43.562669Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.562669Z"},"links":{"cited_paper":"/paper/2502.06772","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:f06ebb349508fa039e8ecb69bcdff638f174ea18dec7dce26c262ba74f223c8f","observation_id":"f70dad53-0d99-448b-bd5d-4105aabde7a9","resolution":{"observed_at":"2026-08-06T17:41:43.562669Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.15541","last_updated":"2023-05-24T19:59:51Z","snapshot_observed_at":"2026-07-06T15:32:58.159006Z","submitted_at":"2023-05-24T19:59:51Z","title":"Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.15541","snapshot_observed_at":"2026-08-06T17:41:43.597810Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.597810Z"},"links":{"cited_paper":"/paper/2305.15541","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:bcca42f24cfbae6e369bbb16cc178bd19df5bb7adbbc43f5964d935857dff0da","observation_id":"385b9e34-d4a9-4db1-94f0-13e0653191e1","resolution":{"observed_at":"2026-08-06T17:41:43.597810Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.343611Z","title":null,"venue":null,"work_id":"feb8580a-3581-471d-8f0d-64a2863f3b81","year":2025},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.797984Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:c47245fbe98749177c1d2661fb0067f506091444614ace5d79f3a46073cfadd6","observation_id":"85a0bcd9-8aa2-4e08-9f36-74dcbabebaf7","resolution":{"observed_at":"2026-08-06T17:41:44.349263Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.326924Z","title":null,"venue":null,"work_id":"cb844463-93be-4598-8608-6745ca58c51e","year":2009},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.810814Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:c473bdde684c4aa7d72cc6d37b298afe11e7e47b0cfd518aeda2178a17789fef","observation_id":"cfe7a05f-3007-4135-be69-7baf2877ce5e","resolution":{"observed_at":"2026-08-06T17:41:44.331752Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04406","last_updated":"2024-06-06T02:51:17Z","snapshot_observed_at":"2026-08-06T23:53:10.606737Z","submitted_at":"2023-10-06T17:55:11Z","title":"Language Agent Tree Search Unifies Reasoning Acting and Planning in Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04406","snapshot_observed_at":"2026-08-06T17:41:43.816065Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.816065Z"},"links":{"cited_paper":"/paper/2310.04406","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:24a86b9d32cf77638b7d219757dbe57617fb6bfd7ac28b2e1c52267517ff87ff","observation_id":"d427400e-c4bb-4dea-8bae-656a762dc6bd","resolution":{"observed_at":"2026-08-06T17:41:43.816065Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.05510","last_updated":"2023-03-09T18:59:47Z","snapshot_observed_at":"2026-07-06T15:00:58.804337Z","submitted_at":"2023-03-09T18:59:47Z","title":"Planning with Large Language Models for Code Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.05510","snapshot_observed_at":"2026-08-06T17:41:43.727541Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.727541Z"},"links":{"cited_paper":"/paper/2303.05510","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:4baafe0084e7ef421baef0ec8aa7514a9db7edb93c303c61630224a41d0377f9","observation_id":"315e0a0a-d7ef-4091-bd05-5f507d35b534","resolution":{"observed_at":"2026-08-06T17:41:43.727541Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.359521Z","title":null,"venue":null,"work_id":"f2d6fbc0-4617-4d6a-8e7d-f3651f138278","year":2020},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.763432Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:661988cbc6bf687cc7e31d996050dd2725e96a77e210e3c3ba7c2d3bf4ce4577","observation_id":"3981e874-8ce2-4a77-b253-8a256f4b69d0","resolution":{"observed_at":"2026-08-06T17:41:44.364112Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.309563Z","title":null,"venue":null,"work_id":"3e099c87-6c0c-45de-b079-98ea0e7f51ac","year":2017},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.821886Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:83892ca14602d0168931fa5bdb3b67e314831f11257a268e85ba13169c75e319","observation_id":"424deec8-e1f8-4310-8353-4622fa0cd489","resolution":{"observed_at":"2026-08-06T17:41:44.315465Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:45.109141Z","title":null,"venue":null,"work_id":"ee8d655e-6741-4205-9dbe-68c871688f89","year":2007},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":2007,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.800686Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:fa5c3f1c341c3994900a3e9c021ce468fdce9f78b6276a119e1b247987a20cb1","observation_id":"741a044c-e69b-42e1-a36f-9367b84e7051","resolution":{"observed_at":"2026-08-06T17:41:45.113889Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:45.064031Z","title":null,"venue":null,"work_id":"f95442e7-9378-49e4-8adb-20e527b3e2fd","year":2024},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:42.845163Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:49646c12adb2e3143c2a94d8e21c95ffeec2315cbeac95468ac417f00becb6bd","observation_id":"77a939a7-3763-402e-ba7b-387d04a56ee5","resolution":{"observed_at":"2026-08-06T17:41:45.068720Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:41:44.504330Z","title":"In The Thirteenth International Conference on Learning Representations","venue":null,"work_id":"8fc25718-7bc9-45f5-a3b6-5ae4ec82a6fa","year":null},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.180664Z"},"links":{"citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:043ff4d9c8c7c9100eb5afaac0f7613d1d64998b5009d3208eb70e5a1d5f64f4","observation_id":"4a0b392a-5d3a-498e-b50d-52ff6b4bb470","resolution":{"observed_at":"2026-08-06T17:41:44.511985Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-06T17:35:11.816357Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?"},"reference_resolution":{"displayed":81,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":73,"verified_exact":0,"verified_fuzzy":8},"total_outbound_references":81},"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-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 81 of 81 outbound references and 0 inbound Pith citation observations for arXiv:2507.10182."}