{"as_of":"2026-08-09T00:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3bc884e206a0dd0d4ab15fa1d4a23980f33441dabdbf626ca50878549034a390","coverage":[{"denominator":58,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":58,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T03:23:29.461241Z","state":"measured"},{"denominator":58,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":58,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.27964/citation-record","integrity":"/paper/2607.27964/integrity","json":"/paper/2607.27964/citation-record.json","paper":"/paper/2607.27964"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T03:23:23.046668Z","title":"Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:23.046668Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:a3935da4e0690599d98fd2f82a4448a69a4a346ebcff577f5b29b46d68b20359","observation_id":"363b8c66-3e81-452d-b8b2-62623e2f9892","resolution":{"observed_at":"2026-08-04T03:23:23.046668Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2108.07732","last_updated":"2021-08-16T03:57:30Z","snapshot_observed_at":"2026-08-02T19:23:53.535075Z","submitted_at":"2021-08-16T03:57:30Z","title":"Program Synthesis with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2108.07732","snapshot_observed_at":"2026-08-04T03:23:23.146416Z","title":"Nye, Maarten Bosma, Henryk Michalewski, David Dohan, Ellen Jiang, Carrie J","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:23.146416Z"},"links":{"cited_paper":"/paper/2108.07732","citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:a5a75b3bd529806fafefb88f985f94e87b319cd5c16ea8c157d47a0f32f07a3b","observation_id":"ad127bcb-1791-4640-9b81-b9a9695961b6","resolution":{"observed_at":"2026-08-04T03:23:23.146416Z","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-04T03:23:23.289286Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:23.289286Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:b437ec4e890446ea332ef819aef49030e829571c49d8b4c54089670d5e5061b1","observation_id":"2a1771de-1d13-4230-90b9-7a495d584d58","resolution":{"observed_at":"2026-08-04T03:23:23.289286Z","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-04T03:23:23.407552Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:23.407552Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:d97de2dd49e3bc90db5be8966e44d5c7d13510d645842055602e2a2e65b2845a","observation_id":"6b345c7c-25d5-44cf-8f1c-0103e0d04014","resolution":{"observed_at":"2026-08-04T03:23:23.407552Z","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-04T03:23:23.514620Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:23.514620Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:5bd38ef54a10b72efaac19da8f676dd415394a22fc73f8a6475109cc94a89cda","observation_id":"22c46924-5b5f-40b3-b80c-1ce320efb221","resolution":{"observed_at":"2026-08-04T03:23:23.514620Z","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-04T03:23:23.648574Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:23.648574Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:0c978313edcf93f924e0c654685f07a84bc9b900a253bf6848e51e5eea5d1ca2","observation_id":"23a26fb2-cd34-4844-aa3d-3ad5e6ac0984","resolution":{"observed_at":"2026-08-04T03:23:23.648574Z","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-04T03:23:23.753067Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:23.753067Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:67a2e706326468e7aca67a0c5730707046bce2f9c149da88ef8fe059e4b58925","observation_id":"7e22d39b-6aca-4a62-be96-0f9d47f237d5","resolution":{"observed_at":"2026-08-04T03:23:23.753067Z","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-04T03:23:23.912260Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:23.912260Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:33258b15bee1198179242a1c8b3e140bb79a48e80b0bd965cd02d39f2ec277c0","observation_id":"3b6d6842-52b5-4295-a799-134c7c739996","resolution":{"observed_at":"2026-08-04T03:23:23.912260Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-08-08T11:58:24.516369Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-04T03:23:24.024961Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:24.024961Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:70b0bbe5372ddc4a96e613e5034d41ad47db962e2850d4a2d1d481fd063629fd","observation_id":"58630b0d-6e52-4e3b-9acb-bae25f8f6fc3","resolution":{"observed_at":"2026-08-04T03:23:24.024961Z","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-04T03:23:24.114493Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:24.114493Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:4c67f5e8a8066d80f99cc187402946719870809b6e471e1aa3cdefd0390d4ed6","observation_id":"8b0d216d-efd5-4bb8-9c06-1d7ca47e89b2","resolution":{"observed_at":"2026-08-04T03:23:24.114493Z","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-04T03:23:24.287182Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:24.287182Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:efe0f4126abd8beb062e3a8c17692754789a922cafee1872322d73c0e4724a65","observation_id":"10087eaf-4f24-402f-a446-9479b5bfbcb6","resolution":{"observed_at":"2026-08-04T03:23:24.287182Z","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-04T03:23:24.396680Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:24.396680Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:19cb763fe20ef7cfd5394d435ccebe271f76d2193555857bad9acce20648342d","observation_id":"56807599-d3bb-4e0b-ad17-c8d8a21c0650","resolution":{"observed_at":"2026-08-04T03:23:24.396680Z","resolver_source":null,"status":"malformed_identifier"},"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-04T03:23:24.472808Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:24.472808Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:7f14309438a48e5f41778c073cd0bbb346a233d30dc2375507c040438b0fd679","observation_id":"8f5ec045-17ee-4ea6-bfa6-0e3282730360","resolution":{"observed_at":"2026-08-04T03:23:24.472808Z","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-04T03:23:24.764762Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:24.764762Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:4fef6dedc022a901ae8ad8e803124c84b711486ce6606bfb9f5a9aa836dc72e8","observation_id":"af97909f-8b44-458e-aaf6-582bb2a70635","resolution":{"observed_at":"2026-08-04T03:23:24.764762Z","resolver_source":null,"status":"malformed_identifier"},"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-04T03:23:24.840548Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:24.840548Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:05fdbd87d3f71896f95cec160dc27cd5f70e6410adb31c89cb9caf99d90ed609","observation_id":"12c50934-d21a-4c59-8e4f-0d5d5d60f7bd","resolution":{"observed_at":"2026-08-04T03:23:24.840548Z","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-04T03:23:24.988966Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:24.988966Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:ef7549243776536257d7c5b9c75bdb7ccf21efdbb4d11b0087c17fb8b89639e9","observation_id":"e0232307-f2e2-438c-ba28-8d91fc400f22","resolution":{"observed_at":"2026-08-04T03:23:24.988966Z","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-04T03:23:25.088268Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:25.088268Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:42ea6b25f8bd9b6e199aefa5b301ab63241cbf43653350f6f63ded060f78f830","observation_id":"cc18190a-e608-453e-b6c4-6562e4225df7","resolution":{"observed_at":"2026-08-04T03:23:25.088268Z","resolver_source":null,"status":"malformed_identifier"},"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-04T03:23:25.169013Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:25.169013Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:4a9825bad97fcfbe08c9009810493475629fef88c3e9f5c71bec58ec829719bd","observation_id":"48a2147d-4cce-4052-8854-e8ba312be758","resolution":{"observed_at":"2026-08-04T03:23:25.169013Z","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-04T03:23:25.289965Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:25.289965Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:3ade545f2f6854753ecd109b4e494b10dbbe78de61052ad7c1d5bd8b3a4489d6","observation_id":"144b6d71-7097-43aa-9480-b83a16edcd1d","resolution":{"observed_at":"2026-08-04T03:23:25.289965Z","resolver_source":null,"status":"malformed_identifier"},"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-04T03:23:25.494810Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:25.494810Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:c9ba289732fb8f733614e3f54ad002236d7812de940bb70bae44639714be8399","observation_id":"ebd6e7c4-61db-46c4-a773-7ff7ee2beaf2","resolution":{"observed_at":"2026-08-04T03:23:25.494810Z","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-04T03:23:25.582856Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:25.582856Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:0fdef160e579ba69b41ea9a2085a2b1a7990d5a01d9489033325e043c9288e5e","observation_id":"9a96504e-edbe-426e-9aa5-30d1de0f6a00","resolution":{"observed_at":"2026-08-04T03:23:25.582856Z","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-04T03:23:25.684622Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:25.684622Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:c66304f456435a3b6a80bbbd9d6cbf76c6183013c763a629a9dd5d46c3010998","observation_id":"e948e369-c91a-4cf8-ad4a-c2cfa9c5afb7","resolution":{"observed_at":"2026-08-04T03:23:25.684622Z","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-04T03:23:25.843560Z","title":null,"venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:25.843560Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:e5085eb155d481097779d4d609b2be2c75cacc374c0d6c54da853f619d639251","observation_id":"60b31027-9e78-47f2-b8f8-dba7546b9709","resolution":{"observed_at":"2026-08-04T03:23:25.843560Z","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-04T03:23:25.952513Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:25.952513Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:ca1a305fc0e8fff10c5af28a2a7421ed2e84b024e758801f2a22e3e68908c245","observation_id":"43a34c1b-ade0-4e5e-b7c7-f842fcbc2a1a","resolution":{"observed_at":"2026-08-04T03:23:25.952513Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12186","last_updated":"2024-11-12T13:24:25Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-09-18T17:57:57Z","title":"Qwen2.5-Coder Technical Report","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.12186","snapshot_observed_at":"2026-08-04T03:23:26.065393Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:26.065393Z"},"links":{"cited_paper":"/paper/2409.12186","citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:4dd4b0e7a50f5863ae64040927fc14c22c2b07114983e80efedaa0a1796b67db","observation_id":"257fafa5-1ba9-41e3-8452-ee24088ca095","resolution":{"observed_at":"2026-08-04T03:23:26.065393Z","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-04T03:23:26.184943Z","title":"Brendan McMahan, Brendan Avent, Aurélien Bellet, Mehdi Bennis, Arjun Nitin Bhagoji, Kallista A","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:26.184943Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:7492f8f0399c4b3a0005043fbf0e39b9a950a649771c8710136fca3600a7764f","observation_id":"72da85e2-7e6f-4aed-9d41-c69cbacebcd6","resolution":{"observed_at":"2026-08-04T03:23:26.184943Z","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-04T03:23:26.368258Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:26.368258Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:93e6441ea7b6135d39f6541f4611ec27bbdb44a35ff6feb0b720350d7ad98311","observation_id":"6c4b1c56-9af6-442b-938a-fe3f557fe48b","resolution":{"observed_at":"2026-08-04T03:23:26.368258Z","resolver_source":null,"status":"malformed_identifier"},"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-04T03:23:26.471409Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:26.471409Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:657dc8b5ce180ce58f643399a798cbb06ee02f86328baf40e0173fa271a053aa","observation_id":"c41e1a62-dd53-4567-baa6-e3cdd35ebcda","resolution":{"observed_at":"2026-08-04T03:23:26.471409Z","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-04T03:23:26.568928Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:26.568928Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:f8c9aa6e2c3185436ad2b5061fe13f3fa85cf80826ad184264247dd7f8b49e05","observation_id":"4505936c-1ec7-498f-820c-19c1e1b746e7","resolution":{"observed_at":"2026-08-04T03:23:26.568928Z","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-04T03:23:26.776914Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:26.776914Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:161bfcec2031cc86fcd6b5c38ed0f256195ba2bad3704ab2e56d4f38191b7333","observation_id":"94f4e01e-de37-413e-adff-50e20c2198fc","resolution":{"observed_at":"2026-08-04T03:23:26.776914Z","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-04T03:23:26.898335Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:26.898335Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:dba4eb1f6b8328182768c6d87f6fb266513059956199736c3aece7c7ada234bc","observation_id":"6b35b67a-849c-4e6b-a970-5a7da2207380","resolution":{"observed_at":"2026-08-04T03:23:26.898335Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.11905","last_updated":"2024-10-14T23:25:13Z","snapshot_observed_at":"2026-08-07T05:33:39.200301Z","submitted_at":"2024-10-14T23:25:13Z","title":"A Scalable Communication Protocol for Networks of Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.11905","snapshot_observed_at":"2026-08-04T03:23:27.036458Z","title":"Wooldridge, and Philip Torr","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:27.036458Z"},"links":{"cited_paper":"/paper/2410.11905","citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:518e69ca21597d88c07341b70933a6a26d607143ce075f3306f75622390bfdd5","observation_id":"93f27d46-2273-4ded-89d2-1d803a9e4e5f","resolution":{"observed_at":"2026-08-04T03:23:27.036458Z","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-04T03:23:27.131426Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:27.131426Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:2ac52dda915409295803ff41ea2eb10e4d8da54bd4524ec6cd30569328883043","observation_id":"7a15956c-c313-472a-8f13-f1845cc76009","resolution":{"observed_at":"2026-08-04T03:23:27.131426Z","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-04T03:23:27.359755Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:27.359755Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:7808c850dfed9bbbee6fd0fd03168d07bcf0e4b8df087822086f2e73160d8795","observation_id":"3ab35bfd-5a83-4e6f-b69c-f11c8aeacacc","resolution":{"observed_at":"2026-08-04T03:23:27.359755Z","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-04T03:23:27.520179Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:27.520179Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:b8c4d20674d045f1b6b6195e70ff1e33c302f33fd19b022702725a5cc925380f","observation_id":"9f51f80c-17b5-4edd-8c7b-92c2a7f7fe85","resolution":{"observed_at":"2026-08-04T03:23:27.520179Z","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-04T03:23:27.629985Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:27.629985Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:fd5fc7ac7e14c0e645bfc3fe486fbdb16121f0e7f3e45938da5d270e7fd3e1fe","observation_id":"36479c23-8087-4ce0-91fb-be6c27e029d1","resolution":{"observed_at":"2026-08-04T03:23:27.629985Z","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-04T03:23:27.680829Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:27.680829Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:0aa4f3819377e5d39aa05e466a1d11d014e14a4661321442dc44b7c7299b4465","observation_id":"4685a29a-387b-4c10-a9bd-4d75952ab49d","resolution":{"observed_at":"2026-08-04T03:23:27.680829Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.05111","last_updated":"2025-07-15T21:10:27Z","snapshot_observed_at":"2026-08-08T20:10:14.429038Z","submitted_at":"2025-02-07T17:35:17Z","title":"Flexible and Efficient Grammar-Constrained Decoding","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.05111","snapshot_observed_at":"2026-08-04T03:23:27.871067Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:27.871067Z"},"links":{"cited_paper":"/paper/2502.05111","citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:44acee9a849de5599dfb34994309e12b6b3aa3b8f27ecfe24941da08f831f5c1","observation_id":"470aa6df-73d9-4478-9ce1-bd98a0ce08b9","resolution":{"observed_at":"2026-08-04T03:23:27.871067Z","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-04T03:23:27.985936Z","title":"Plummer, Zhaoran Wang, and Hongxia Yang","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:27.985936Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:99bd39def6d21b4bee54fe26a21b69d99f86b98d00cebed1ceeccd1cf5c4358b","observation_id":"062608ad-e2be-42ec-bf1c-f9f8c36ecadf","resolution":{"observed_at":"2026-08-04T03:23:27.985936Z","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-04T03:23:28.196220Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:28.196220Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:841b8cc3c22dbf65233897baf5e6b55d52e372f6298240ed0228e7fa320e0b31","observation_id":"51933264-556b-4a68-8c89-54c136a4d85a","resolution":{"observed_at":"2026-08-04T03:23:28.196220Z","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-04T03:23:28.312126Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:28.312126Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:556666b0225c5d23eb22201de5a38e364d7b94116f4f3cf65bfbd3668b97253b","observation_id":"e9f34e88-c879-4da1-be58-044de96c2acc","resolution":{"observed_at":"2026-08-04T03:23:28.312126Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.15115","last_updated":"2025-01-03T02:18:21Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-12-19T17:56:09Z","title":"Qwen2.5 Technical Report","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.15115","snapshot_observed_at":"2026-08-04T03:23:28.379610Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:28.379610Z"},"links":{"cited_paper":"/paper/2412.15115","citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:490aa6d4ab9f6112de820dc155cad42b7bb28330b68bfba6d772277b3dbbfdf6","observation_id":"558a42ad-b9f3-4df0-8c22-af977ccfa5a4","resolution":{"observed_at":"2026-08-04T03:23:28.379610Z","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-04T03:23:28.095904Z","title":"https://openreview.net/forum?id=sehRvaIPQQ","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:28.095904Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:173ee68db84b99959ab6b0c88717a1b17fc0682ac28e693ceca454f20f13cd70","observation_id":"6a4c6b5b-7725-4d35-8478-6b6db77cce0c","resolution":{"observed_at":"2026-08-04T03:23:28.095904Z","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-04T03:23:28.513859Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:28.513859Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:bafc1b6ff31624996f5672cadee6b689e6361207f3c8794a1a299702573cb846","observation_id":"3f6c8778-704f-42d1-b938-21dee6aee0a7","resolution":{"observed_at":"2026-08-04T03:23:28.513859Z","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-04T03:23:28.590393Z","title":"Deshmukh, and Yiannis Kantaros","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:28.590393Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:31fcc6eeaab7e7adf8be5cac5e1c14af5c455c4932d35df03186deae0ce3725e","observation_id":"ab4b5fcf-3ff1-4b27-9190-7168c8852922","resolution":{"observed_at":"2026-08-04T03:23:28.590393Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.00226","last_updated":"2025-07-16T04:59:12Z","snapshot_observed_at":"2026-07-06T20:15:03.658292Z","submitted_at":"2024-12-31T02:23:10Z","title":"Generative Emergent Communication: Large Language Model is a Collective World Model","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.00226","snapshot_observed_at":"2026-08-04T03:23:28.652563Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:28.652563Z"},"links":{"cited_paper":"/paper/2501.00226","citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:73d8e9ef1abccf14b9da26d58932965e8daedd9c576e71f03c07b61d6ea75f9f","observation_id":"d9d21e12-12d9-4e09-bb11-d1c0d3fd5d72","resolution":{"observed_at":"2026-08-04T03:23:28.652563Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.12950","last_updated":"2024-01-31T19:47:26Z","snapshot_observed_at":"2026-07-06T16:10:07.931347Z","submitted_at":"2023-08-24T17:39:13Z","title":"Code Llama: Open Foundation Models for Code","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.12950","snapshot_observed_at":"2026-08-04T03:23:28.451564Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:28.451564Z"},"links":{"cited_paper":"/paper/2308.12950","citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:af754d4ffe2e77a2d3d079378e5475988b2dc5e21047ecb05cbdc2169f95609d","observation_id":"d86841cd-1a54-472b-83dc-c323c316e3af","resolution":{"observed_at":"2026-08-04T03:23:28.451564Z","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-04T03:23:28.816765Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:28.816765Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:a5f377c64a5e74e13a045346ab7ac672f069bf2fd092df7a0e741bb23caf2166","observation_id":"8b78efab-6c9d-4a63-aaa3-80fd4f14f480","resolution":{"observed_at":"2026-08-04T03:23:28.816765Z","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-04T03:23:28.918599Z","title":"Saurous, and Yoon Kim","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:28.918599Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:e4ec2a5a9a849cf77a05a2c9761574b08811c74266c68eb23353d22531eff3dc","observation_id":"2801f8ff-d757-40ea-8ed7-0bf0fd74712c","resolution":{"observed_at":"2026-08-04T03:23:28.918599Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2508.14532","last_updated":"2025-08-20T08:40:22Z","snapshot_observed_at":"2026-08-05T18:31:56.621388Z","submitted_at":"2025-08-20T08:40:22Z","title":"Preguss: It Analyzes, It Specifies, It Verifies","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.14532","snapshot_observed_at":"2026-08-04T03:23:29.017176Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:29.017176Z"},"links":{"cited_paper":"/paper/2508.14532","citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:84910fca9afca0288b8bf7d459545925fe9dbf6c31207bd06e063fe41db36b75","observation_id":"95b7de63-3804-4c80-ba92-7405b24c874a","resolution":{"observed_at":"2026-08-04T03:23:29.017176Z","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-04T03:23:28.722232Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:28.722232Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:bc5697c175bc93d4da08958546ceb22c9ae4c07e46f1f4c6940e0708ad5a9d2e","observation_id":"c4a6a7f5-a464-4594-b933-c8357cc53f25","resolution":{"observed_at":"2026-08-04T03:23:28.722232Z","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-04T03:23:29.199414Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:29.199414Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:8472b4b83d5468bbb7c56c8bdc2fea4f6ddb055613a5447d64014761ece12316","observation_id":"bfa5ce8e-7f09-4b35-b594-a33cda66bb38","resolution":{"observed_at":"2026-08-04T03:23:29.199414Z","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-04T03:23:29.298526Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:29.298526Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:a6980fb8fff44404e52faddfd04e6a4a3ca5a6217392ebc1b425c8f7734744c8","observation_id":"c421cc40-29a7-47fc-bf23-58904b5ba7df","resolution":{"observed_at":"2026-08-04T03:23:29.298526Z","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-04T03:23:29.461241Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:29.461241Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:2f3b5d9e1740e0f366f6de0314ebf6fb6d66b2c0dc1051248d6bde03309ee0ec","observation_id":"1ee05ea0-7e74-4e8c-9dfd-5bc7d16752f1","resolution":{"observed_at":"2026-08-04T03:23:29.461241Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.09702","last_updated":"2023-08-19T21:27:51Z","snapshot_observed_at":"2026-07-06T15:55:41.294452Z","submitted_at":"2023-07-19T01:14:49Z","title":"Efficient Guided Generation for Large Language Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.09702","snapshot_observed_at":"2026-08-04T03:23:29.099459Z","title":"Willard and Rémi Louf","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:29.099459Z"},"links":{"cited_paper":"/paper/2307.09702","citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:ef409c2594addd4ab22a73370cd2cb22de6eab53dcc018c1d3c2505604de2824","observation_id":"cf10e6a7-9cff-4f49-be7f-827f45274e41","resolution":{"observed_at":"2026-08-04T03:23:29.099459Z","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-04T03:23:24.613364Z","title":"InProceedings of the 6th Machine Learning for Healthcare Conference (Proceedings of Machine Learning Research, Vol","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:24.613364Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:9223ca0930c3cd69bc07826db99b9eb8c50736ac2bc1cd3c9ff5eb77f185fb18","observation_id":"b518bc8a-d934-48d4-be02-c72712694b5a","resolution":{"observed_at":"2026-08-04T03:23:24.613364Z","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-04T03:23:26.679096Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:26.679096Z"},"links":{"citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:b7b7c219527f3525c00139cd4ffe5d73fa7c7f2f632fe00e8ff4316e3e77cb44","observation_id":"6f04ac66-fbb3-43dd-994f-3f7b749421db","resolution":{"observed_at":"2026-08-04T03:23:26.679096Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.17988","last_updated":"2024-09-04T18:50:25Z","snapshot_observed_at":"2026-07-06T17:36:36.437597Z","submitted_at":"2024-02-28T02:12:47Z","title":"Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.17988","snapshot_observed_at":"2026-08-04T03:23:27.230305Z","title":"arXiv:2402.17988 [cs.PL] https://arxiv.org/abs/2402.17988","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","version":2},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-04T03:23:27.230305Z"},"links":{"cited_paper":"/paper/2402.17988","citing_paper":"/paper/2607.27964"},"observation_digest":"sha256:ce7086958b68370b5002dba1e33b2c2da2abf8600cee2da247dddd80838c2da0","observation_id":"be31bb11-4657-403f-a2b3-b38e49f29ef5","resolution":{"observed_at":"2026-08-04T03:23:27.230305Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.27964","last_updated":"2026-08-02T10:30:36Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-06T23:24:52.813050Z","submitted_at":"2026-07-30T10:11:33Z","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models"},"reference_resolution":{"displayed":58,"state_counts":{"malformed_identifier":7,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":51,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":58},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 58 of 58 outbound references and 0 inbound Pith citation observations for arXiv:2607.27964."}