Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models | Paper Citation Record

Observation 363b8c66-3e81-452d-b8b2-62623e2f9892 · outbound

This paper cites Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:23.046668Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad127bcb-1791-4640-9b81-b9a9695961b6 · outbound

This paper cites Program Synthesis with Large Language Models.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Program Synthesis with Large Language Models

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:23.146416Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a1771de-1d13-4230-90b9-7a495d584d58 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:23.289286Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b345c7c-25d5-44cf-8f1c-0103e0d04014 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:23.407552Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22c46924-5b5f-40b3-b80c-1ce320efb221 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:23.514620Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23a26fb2-cd34-4844-aa3d-3ad5e6ac0984 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:23.648574Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e22d39b-6aca-4a62-be96-0f9d47f237d5 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:23.753067Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b6d6842-52b5-4295-a799-134c7c739996 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 8

Resolution: malformed identifier; no resolver link, observed 2026-08-04T03:23:23.912260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58630b0d-6e52-4e3b-9acb-bae25f8f6fc3 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Evaluating Large Language Models Trained on Code

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:24.024961Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b0d216d-efd5-4bb8-9c06-1d7ca47e89b2 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:24.114493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10087eaf-4f24-402f-a446-9479b5bfbcb6 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:24.287182Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56807599-d3bb-4e0b-ad17-c8d8a21c0650 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 12

Resolution: malformed identifier; no resolver link, observed 2026-08-04T03:23:24.396680Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f5ec045-17ee-4ea6-bfa6-0e3282730360 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:24.472808Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af97909f-8b44-458e-aaf6-582bb2a70635 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 14

Resolution: malformed identifier; no resolver link, observed 2026-08-04T03:23:24.764762Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 12c50934-d21a-4c59-8e4f-0d5d5d60f7bd · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:24.840548Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0232307-f2e2-438c-ba28-8d91fc400f22 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:24.988966Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc18190a-e608-453e-b6c4-6562e4225df7 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 17

Resolution: malformed identifier; no resolver link, observed 2026-08-04T03:23:25.088268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48a2147d-4cce-4052-8854-e8ba312be758 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:25.169013Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 144b6d71-7097-43aa-9480-b83a16edcd1d · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 19

Resolution: malformed identifier; no resolver link, observed 2026-08-04T03:23:25.289965Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ebd6e7c4-61db-46c4-a773-7ff7ee2beaf2 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:25.494810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a96504e-edbe-426e-9aa5-30d1de0f6a00 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:25.582856Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e948e369-c91a-4cf8-ad4a-c2cfa9c5afb7 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:25.684622Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60b31027-9e78-47f2-b8f8-dba7546b9709 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:25.843560Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43a34c1b-ade0-4e5e-b7c7-f842fcbc2a1a · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:25.952513Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 257fafa5-1ba9-41e3-8452-ee24088ca095 · outbound

This paper cites Qwen2.5-Coder Technical Report.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Qwen2.5-Coder Technical Report

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:26.065393Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72da85e2-7e6f-4aed-9d41-c69cbacebcd6 · outbound

This paper cites Brendan McMahan, Brendan Avent, Aurélien Bellet, Mehdi Bennis, Arjun Nitin Bhagoji, Kallista A.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Brendan McMahan, Brendan Avent, Aurélien Bellet, Mehdi Bennis, Arjun Nitin Bhagoji, Kallista A

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:26.184943Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c4b1c56-9af6-442b-938a-fe3f557fe48b · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 27

Resolution: malformed identifier; no resolver link, observed 2026-08-04T03:23:26.368258Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c41e1a62-dd53-4567-baa6-e3cdd35ebcda · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:26.471409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4505936c-1ec7-498f-820c-19c1e1b746e7 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:26.568928Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94f4e01e-de37-413e-adff-50e20c2198fc · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:26.776914Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b35b67a-849c-4e6b-a970-5a7da2207380 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:26.898335Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93f27d46-2273-4ded-89d2-1d803a9e4e5f · outbound

This paper cites A Scalable Communication Protocol for Networks of Large Language Models.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models A Scalable Communication Protocol for Networks of Large Language Models

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:27.036458Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a15956c-c313-472a-8f13-f1845cc76009 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:27.131426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ab35bfd-5a83-4e6f-b69c-f11c8aeacacc · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:27.359755Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f51f80c-17b5-4edd-8c7b-92c2a7f7fe85 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:27.520179Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36479c23-8087-4ce0-91fb-be6c27e029d1 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:27.629985Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4685a29a-387b-4c10-a9bd-4d75952ab49d · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:27.680829Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 470aa6df-73d9-4478-9ce1-bd98a0ce08b9 · outbound

This paper cites Flexible and Efficient Grammar-Constrained Decoding.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Flexible and Efficient Grammar-Constrained Decoding

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:27.871067Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 062608ad-e2be-42ec-bf1c-f9f8c36ecadf · outbound

This paper cites Plummer, Zhaoran Wang, and Hongxia Yang.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Plummer, Zhaoran Wang, and Hongxia Yang

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:27.985936Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51933264-556b-4a68-8c89-54c136a4d85a · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:28.196220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9f34e88-c879-4da1-be58-044de96c2acc · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:28.312126Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 558a42ad-b9f3-4df0-8c22-af977ccfa5a4 · outbound

This paper cites Qwen2.5 Technical Report.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Qwen2.5 Technical Report

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:28.379610Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a4c6b5b-7725-4d35-8478-6b6db77cce0c · outbound

This paper cites https://openreview.net/forum?id=sehRvaIPQQ.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models https://openreview.net/forum?id=sehRvaIPQQ

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:28.095904Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f6c8778-704f-42d1-b938-21dee6aee0a7 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:28.513859Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab4b5fcf-3ff1-4b27-9190-7168c8852922 · outbound

This paper cites Deshmukh, and Yiannis Kantaros.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Deshmukh, and Yiannis Kantaros

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:28.590393Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9d21e12-12d9-4e09-bb11-d1c0d3fd5d72 · outbound

This paper cites Generative Emergent Communication: Large Language Model is a Collective World Model.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Generative Emergent Communication: Large Language Model is a Collective World Model

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:28.652563Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d86841cd-1a54-472b-83dc-c323c316e3af · outbound

This paper cites Code Llama: Open Foundation Models for Code.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Code Llama: Open Foundation Models for Code

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:28.451564Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b78efab-6c9d-4a63-aaa3-80fd4f14f480 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:28.816765Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2801f8ff-d757-40ea-8ed7-0bf0fd74712c · outbound

This paper cites Saurous, and Yoon Kim.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Saurous, and Yoon Kim

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:28.918599Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95b7de63-3804-4c80-ba92-7405b24c874a · outbound

This paper cites Preguss: It Analyzes, It Specifies, It Verifies.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Preguss: It Analyzes, It Specifies, It Verifies

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:29.017176Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4a6a7f5-a464-4594-b933-c8357cc53f25 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:28.722232Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bfa5ce8e-7f09-4b35-b594-a33cda66bb38 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:29.199414Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c421cc40-29a7-47fc-bf23-58904b5ba7df · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:29.298526Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ee05ea0-7e74-4e8c-9dfd-5bc7d16752f1 · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 54

Resolution: malformed identifier; no resolver link, observed 2026-08-04T03:23:29.461241Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf10e6a7-9cff-4f49-be7f-827f45274e41 · outbound

This paper cites Efficient Guided Generation for Large Language Models.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Efficient Guided Generation for Large Language Models

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:29.099459Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b518bc8a-d934-48d4-be02-c72712694b5a · outbound

This paper cites InProceedings of the 6th Machine Learning for Healthcare Conference (Proceedings of Machine Learning Research, Vol.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models InProceedings of the 6th Machine Learning for Healthcare Conference (Proceedings of Machine Learning Research, Vol

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:24.613364Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f04ac66-fbb3-43dd-994f-3f7b749421db · outbound

This paper cites an unresolved cited work.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Unresolved cited work

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:26.679096Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be31bb11-4657-403f-a2b3-b38e49f29ef5 · outbound

This paper cites Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars.

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-04T03:23:27.230305Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers