{"as_of":"2026-08-10T13:07:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f9063e2824eaf78a76b72f8210334611e0677d5492ed29d2b20e961ef9a8870e","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-10T06:31:04.303077+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-08T23:20:51.475560Z","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:e54581a3292d4393b33d5fa3cbc68e3676b0bbeb57610a06b0d10c5afd1b5e40","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-08-10T02:45:59.371931Z","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-08T23:20:51.475560Z","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:3b718829a8bcdc9fb527f7af31948e2f287dceb70fecc6494878662f70058ca4","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-08T23:20:51.475560Z","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:d6a2e82471abae27fef5087b0e295a811db54579ece385b856f501381ef632d3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:610458aeb281ec55208a410a3f71e3e5596f22d76d596db11a65a7bb72ecb02c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:a319a05be4e7fa0fa5a42feb97c9e977f4c7aefd1b400a4cc1edfc1e64c296aa","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:35d03a5a641a1fe287a5e38fc37b51474d6b92057729c32e85c811e287caeb1b","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:2d77beedb3f20f2cda017fd0ddb1fd792c41dc4107f98ab03dd0f9a02b3dacfc","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-08T23:20:51.475560Z","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:71417a1cb1e9e8ff55669c5062fc96ab654368ad60ace92b8e22ae2f2f370235","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:0373fe81ecebea5e34a18af981dee0251bb2ed9ac4f34da9bb10033f2e86dc26","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:b9fe205f375c1cf751c6bc509a29c97b439e20b0eca15f09f349f9ce40aca803","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:57da059a994485b954aa7aa2858268e6950e2f1a4c859b76fdb9f6b0dfe22c0b","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-08T23:20:51.475560Z","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:5e357b524d85704614bc77c7ec40baf169d4e19a133dac988dffdeb1fdce198e","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-08T23:20:51.475560Z","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:f7b8f9a9e547149e70d1a59d4563c8c856dd57f5223261d182b1b00385e3b605","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:1b3c23d86ccb792be9279c236c5e9cafe83dcc536739dabb39193c301d1af35a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:e98a5eb8924ab772374aaae3100bb6006452b85b87009397ff587961a7e9a161","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:ca74b6749cb6105b26005a3b50b2ab303acfe65f30e7fb7b6eacf84e8d7b60f2","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:b0eb411156c7d6d6004fc6f09febb401cc3758100f406806ea1a080b03273c05","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:ba060d104bbb8d2de0b7d17a0960710d2b71b8b96f4b9f821826187e718e27bf","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-08T23:20:51.475560Z","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:190c1ef5257623acdf1461ebb6d4a6cfd329faee1eada1375acda40c1ef144c7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:6ee14032c810224a01b8fe7fa9cfc2598142dad8b3e896163ad71fd81b964ec3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:c401dcc742e4ed5c651bf38c2c9f92d08e7929e10a2be342ce67f37a7892ef81","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-08T23:20:51.475560Z","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:0a8b7827f2da18085e615ff756f85b22b92c2fdcb6ae144e5220915818e5290f","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-08T23:20:51.475560Z","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:4be02ac66e0e990d39168ea5562608dd664dc5e4d15d759a40a4e244829e6c86","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:8d0552d6f226c0c3cfc13a85248f89a6e6dc6a40b023d237aa4972e31a46760b","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-08T23:20:51.475560Z","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:4f4a4b0023e899d3c4d3fca65ce44bec2812136dd09c3e2b9446a7d2386e8db3","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-08T23:20:51.475560Z","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:a4b7da8f2471820d31ed5336ea6bb87ffbe7eec1a591dff669733a1f5f39d1cc","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:c81ca8673a37bb666487d8369329cc28b970408b88590b47ca774bc56d15f3db","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:19324c28db19974f8e3f2d6d8c300dc40652864b2c856903ef0724540c53db2f","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-08T23:20:51.475560Z","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:a8c1e4a9911af9e84a81f09597ee5a239bc57541abc5628d37328cc621abc090","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:796a89e160f62d39b5b970b5e88589a87a23b25c390c6e84e95d8cc8c4836bb7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08-07T23:05:06.668783Z","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-08T23:20:51.475560Z","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:a571372d8c3357d0d570c9aeb7c4c688f510be335c34e2d32ee84235337f0a27","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-08T23:20:51.475560Z","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:4681f464a9c48e5f059f49e766ee79dfcf6720907ec301f9b1afcc69024a58ee","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:96e4ae1c139d2efd802b734e0ca1615fbb0321473bea62e0c2005e25301d9e31","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-08T23:20:51.475560Z","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:b489b0893d2d02be3f17bf152b700f8da573a5dc9653e4630d26da6b1a7ae9a5","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-08T23:20:51.475560Z","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:fd5f5c4ef7924c0d8bd2a9bbfffa975582d47252cc25af68f334388dcd2081f5","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:f13a3cce13a3ae0211a81d3b4d9919f7f325c7088d43273a316c65f13b2542b6","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:3238f60b99b4997c614c35bd61486f379b7abf45357319e0dbcf1dfd9251d2f1","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:ae18f3a3f7fcc0cf0a2bac07f27ab172e2f98ba1c438a3c8e1a3d7d0bc1269bd","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:9b7cc3682571a51ffe00d1b648ddbb47c8c9c5aac0f23f6594fc5303cd70c710","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:5cbc545ffe9aa45316e12e1ef3c87bb26752e2fcab6289216e696948a7c31aa4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:cd3f41d9929e854d563e0bbadc8bee5289f38afb4defd681c2e800f0f4d6b108","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:0652653fd88491c17cd1c78d27ebc4adbe2fde7f6847a1f74623623d0c7bcab6","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:fb80c591d49e6070deca12693d7e46e4685672a927e8cb08397bbd76b4e8b556","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-08T23:20:51.475560Z","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:7632bec52ae1fbe421d53def112ce3cbbc95f89585a67974337c672be8aa708f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:8f1aa07fda58dc83665ff010eeda23336a82445fa8ce7e5c7e24674f1d64ce1a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:7a0b9a615c91f5f6b578bd6e962d7468ccb67f0f6da1e3f3fb7509aa2f7af0c0","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:ea0957d2a3df9bb0421fbb09b43607498d7b5c0660f97175ae3341b9be793522","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-08T23:20:51.475560Z","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:34429ebbf4ac2b86d95337454f14a58f11d20fee9bdfa8853d18880babcd0519","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:923c79c1b8acd0bbe7e00fd92d17681cb4244599d2111b5d5954bebe47291242","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:18d783d511a961e2dd1fe67a3013dd0883d22c1d7c2f370b866afb9f3e8cddb7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:d3ea878f79ffa2c4fc188da989cc32c9cc0f0a023d8e848700f5a633cc88a947","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:342cd85ec0fac7aa8ca1e34b3a8834808bf7fb12b2440661dda9eac93c619900","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08-10T04:49:16.776822Z","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-08T23:20:51.475560Z","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:40f005515e6f283ae789428bbf2a081828b32c6c60406ca74c2fd6d00ebf6bee","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-08T23:20:51.475560Z","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:45dcbd3b1f435daf92b15d4ed19708365949c3558305a1d4fb2cdcd81ddaecbb","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:75cd10635c73ed93bcefdc5939d7470595eb3ace4846462a13588f84c8c4cab2","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:c07ba0870ff5e527781481948f7c048545420a523bdfcf9b161f0a9e8b598ccc","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:79e4bda0d719a16aebc2b703e6a5c5388f319045d3d43f4f926c979b2dcc40cd","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:58ae81551767ac7e9147e5147d48524da61001d74df1834f9249a6d9048a0ea1","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-08T23:20:51.475560Z","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:0b3987cdb7c746aacbf3ba850c50931ca9e4b154d4a86919aa007c558f7b4b64","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08-09T23:53:42.648697Z","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-08T23:20:51.475560Z","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:4fa6e9fa308ab7f8cbdf01706894122471f0897fc1bb999602c14eb360d79225","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-08T23:20:51.475560Z","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:2a6da7cc7492ee8312fb23889e0515c64a7b06e9bafa0d3a91d0f7116424e948","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-08T23:20:51.475560Z","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:9a6393e63ad6d4c74786d6a3090de3b7ddb4c9b98157cdddefc5d7cf2c162cd5","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:1309710d8219fb5327a333e69a29cf49c1304ba30052671f7b3c4dfe2b1071e1","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:fb6c80be6ef39b4f0344d8c8c117ea12e8757891cc1289dfab4e3816a4eaf869","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-08T23:20:51.475560Z","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:3b6cc8f557074fbf7bad7c0d0cd1eca805ca4583a8554585377f130278380493","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:66ca3051f513d5c6c515454f675bad3a0bb5f490581bed46c62dd591c6ea6b22","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08-09T23:17:10.916511Z","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-08T23:20:51.475560Z","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:0012bf503e64fe473d70a828e1374f85d26646a873d3d15a26c0efd5819d85a8","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-08T23:20:51.475560Z","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:1bc699a115c7e1b02997b21683055b1e1e6a66dd8a96037d73fd4ecaf1ea927b","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:1dea03d7d64a6ef4af604a6a1c3a6f5548f9dfd03fb90fe26d0950c9af859b5e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:a8a144a4a9bfd5194cb4ed4ff8a63bbf5c2be3db79ad80e0879ab0beeab4b6c5","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08-09T17:57:00.989532Z","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-08T23:20:51.475560Z","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:02c08e65bfec83f92f36e12c76ab762525a98f1cd30b67de509267f63582ebd5","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-08T23:20:51.475560Z","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:a4f14e17f727459915b3315f458e8579e32552e79172daee1909d7b690fb9c9e","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-08T23:20:51.475560Z","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:43d622fbdbf4b23274cfe04a89510003effb32d3c0394f60ef7b2e1cdf0d7d1a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:ca9d6a51edc36bf6483dfe2a87a1a792bd68c43e3566c9dce37b66084410271f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:c5fbfb69278d037a8fb507df564ed17339ea3f983e1164f8b4e9e9fd4bb708aa","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-08-09T16:16:46.530132Z","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-08T23:20:51.475560Z","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:85b0e182938b2adc4f102d7fd1fe3debcc863e58df867a88139bdd061206c4fa","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-08T23:20:51.475560Z","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:24622e660392121ad5f17e668c5f653beff1540ac4394885e3aa9a67604819a2","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:3b2491d0c09d1720657a5ab84e8c8722ea50f044e2b9c9c84aae4205ccb4d57f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:7b334785c77721371d904722a8971426db5c6f26425eb77db97fcaa7c96f3350","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:6d91fd6fcd2a83ddbcef54e6785ba2d50b884fdd82e23ec8414366ce4b5fed32","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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:49c03e171ee06af4f08e4afc52ee4e71df5e25944365225143125f66f6b12873","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T23:20:51.475560Z","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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 81 of 81 outbound references and 0 inbound Pith citation observations for arXiv:2507.10182."}