Working Document -- Formalising Software Requirements with Large Language Models | Paper Citation Record

Observation 2f8cbc5e-842d-435c-bc7a-9a86020de33b · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.539664Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48b14e55-95d2-4dbc-879e-056e4c4dced2 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 2

Resolution: verified exact; doi, observed 2026-08-15T19:52:52.504376Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ab8ed4be-69e4-4c33-bb16-07a81e9348b9 · outbound

This paper cites Prompt Design and Engineering: Introduction and Advanced Methods.

Working Document -- Formalising Software Requirements with Large Language Models Prompt Design and Engineering: Introduction and Advanced Methods

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.548624Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 965bd243-60f2-4238-adac-af3e8abc19c8 · outbound

This paper cites Advancing Requirements Engineering through Generative AI: Assessing the Role of LLMs.

Working Document -- Formalising Software Requirements with Large Language Models Advancing Requirements Engineering through Generative AI: Assessing the Role of LLMs

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.552958Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d81ca66-ae26-48fc-ba8d-675921d9ad7e · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.557120Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1c813a9-808f-4faa-8602-b85f6c55ea40 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.561073Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbf3bda6-20d6-42c3-a10a-12d6d7a5ba94 · outbound

This paper cites Formalising Software Requirements using Large Language Models.

Working Document -- Formalising Software Requirements with Large Language Models Formalising Software Requirements using Large Language Models

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.564884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ad2e96c-8910-4f0a-8f63-11e87f4f2570 · outbound

This paper cites A Short Survey on Formalising Software Requirements using Large Language Models.

Working Document -- Formalising Software Requirements with Large Language Models A Short Survey on Formalising Software Requirements using Large Language Models

Reference 8

Resolution: verified exact; local_arxiv, observed 2026-08-15T19:52:54.059199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 33c0c80e-15cc-4301-bf64-2293a58ea300 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.572183Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b0938e4-0b92-4f4b-8089-e3b155b89fdf · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.575762Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0cd8c662-87a2-42e9-b23a-ffc05e1b7453 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.579820Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d12b87d-25b3-4903-ae56-5001407dc483 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 12

Resolution: verified exact; doi, observed 2026-08-15T19:52:52.373486Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 498e0ef4-9a1e-4ed1-a31b-3fb0e1f8e3da · outbound

This paper cites Kelleher, Shen Fei, Gui Tong, Jiandong Ding, and Puchao Zhang.

Working Document -- Formalising Software Requirements with Large Language Models Kelleher, Shen Fei, Gui Tong, Jiandong Ding, and Puchao Zhang

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.587857Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00ab817f-2e1e-42fb-9c16-211e014f83f4 · outbound

This paper cites Daggitt, Omri Isac, Guy Katz, Verena Rieser, and Oliver Lemon.

Working Document -- Formalising Software Requirements with Large Language Models Daggitt, Omri Isac, Guy Katz, Verena Rieser, and Oliver Lemon

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.591608Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69e789bc-e4a8-4abb-9806-670899016e93 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.598651Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fbf61e13-6b98-475e-bdea-c112e9989183 · outbound

This paper cites Light Field Image Coding Using Dual Discriminator Generative Adversarial Network and VVC Temporal Scalability.

Working Document -- Formalising Software Requirements with Large Language Models Light Field Image Coding Using Dual Discriminator Generative Adversarial Network and VVC Temporal Scalability

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.601810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62d9f65e-e390-4d74-85b2-47bb1ecac43c · outbound

This paper cites nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.

Working Document -- Formalising Software Requirements with Large Language Models nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.605671Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1bbc3b4e-b031-4df1-aaa7-6e1cb1226ee2 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.609181Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 853d0ccd-3967-46c8-81bf-226b7be7e790 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-08-15T19:52:52.357424Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 95538019-4d76-4bb3-8c84-4698246406be · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.617361Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec85332a-ae7a-4a50-9616-2025403d08c3 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.620965Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1ad7260-82ec-481d-8c59-2be03ef8ccad · outbound

This paper cites Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast.

Working Document -- Formalising Software Requirements with Large Language Models Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.624318Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c11028f8-ca62-4177-b18a-9c2a0d195dc1 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.627804Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c2a24ab-b3af-436d-a04d-a274dc7bc55b · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.631174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 637094ea-7c57-457e-a12f-43b53055dd1d · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.634918Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60a62879-b68b-45d9-aba2-407f3e3d98f2 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.638252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3b7fe25-820d-47d5-80b3-baa4a2db1d6a · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.641687Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 519cc6bb-a4e2-46c4-8ab2-4a64e84aa63a · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 28

Resolution: verified exact; doi, observed 2026-08-15T19:52:52.333524Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 36aaac2b-7893-4e7c-b1c2-f082d4b61dd6 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 29

Resolution: verified exact; doi, observed 2026-08-15T19:52:52.322878Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 1241da1e-010d-460d-bbf8-702ba8e89268 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.651764Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78082e28-7160-43c3-bcda-85b109ff6e10 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.655735Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28fd31d9-6c7c-46fb-ad27-faafadc791fa · outbound

This paper cites Goguen and Rod M.

Working Document -- Formalising Software Requirements with Large Language Models Goguen and Rod M

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.658933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96580097-4d22-4d5c-804f-7887d5375171 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 33

Resolution: verified exact; doi, observed 2026-08-15T19:52:52.306501Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ffb7020a-464c-40eb-976d-667a9bd25214 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.666885Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f9871c7-cd5f-4940-a812-12d3f57cf403 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.670493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4f4e230-c484-43a5-b7f8-4eb4cdf9afb4 · outbound

This paper cites Greenspan, Alexander Borgida, and John Mylopoulos.

Working Document -- Formalising Software Requirements with Large Language Models Greenspan, Alexander Borgida, and John Mylopoulos

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.673630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9635bd2d-21c5-4cb3-883f-612afb6ed2bb · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.676803Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da2fcd1c-032d-46c8-b0d3-7c5ffd20f971 · outbound

This paper cites Formal Specifications from Natural Language.

Working Document -- Formalising Software Requirements with Large Language Models Formal Specifications from Natural Language

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.680773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation edd45313-a9e0-4501-833e-643a3c6cf484 · outbound

This paper cites Jones, and Kristin Y.

Working Document -- Formalising Software Requirements with Large Language Models Jones, and Kristin Y

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.684229Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dfe77225-4352-4d59-acd3-cf7930be102b · outbound

This paper cites Ashlee Holbrook, Sravanthi Vadlamudi, and Alain April.

Working Document -- Formalising Software Requirements with Large Language Models Ashlee Holbrook, Sravanthi Vadlamudi, and Alain April

Reference 40

Resolution: verified exact; doi, observed 2026-08-15T19:52:52.280167Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a12e7a92-50e3-421e-b5d1-3d58991167ff · outbound

This paper cites Hierons, Kirill Bogdanov, Jonathan P.

Working Document -- Formalising Software Requirements with Large Language Models Hierons, Kirill Bogdanov, Jonathan P

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.692317Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b24f6028-5001-47a6-9838-f93fff44a158 · outbound

This paper cites Le, Abhishek Kumar, James R.

Working Document -- Formalising Software Requirements with Large Language Models Le, Abhishek Kumar, James R

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.696180Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0e6e853-a3d7-44e1-b275-e44e7a5d5d37 · outbound

This paper cites Hu, Yelong Shen, Phillip Wallis, Zeyuan Allen-Zhu, Yuanzhi Li, Shean Wang, Lu Wang, and Weizhu Chen.

Working Document -- Formalising Software Requirements with Large Language Models Hu, Yelong Shen, Phillip Wallis, Zeyuan Allen-Zhu, Yuanzhi Li, Shean Wang, Lu Wang, and Weizhu Chen

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.700134Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d315a9f-82b4-4760-a338-3b70e627a4c4 · outbound

This paper cites Formal Methods: From Academia to Industrial Practice. A Travel Guide.

Working Document -- Formalising Software Requirements with Large Language Models Formal Methods: From Academia to Industrial Practice. A Travel Guide

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.703805Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08b6ae95-5f30-4763-b309-a1cd31fe294e · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 45

Resolution: verified exact; doi, observed 2026-08-15T19:52:52.269726Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 78888ad7-0240-4e3f-90d0-e5e45904db11 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 46

Resolution: metadata mismatch; raw_fallback, observed 2026-08-15T19:52:53.447021Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 31e048ce-f1d7-41fe-9504-23a3cff344f7 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.714593Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9995f65-b726-4b52-bd95-d2ba14ed2b8f · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.719011Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5f9877f-774d-44bc-a982-75cb28d3bb13 · outbound

This paper cites Kwiatkowska, Gethin Norman, and David Parker.

Working Document -- Formalising Software Requirements with Large Language Models Kwiatkowska, Gethin Norman, and David Parker

Reference 49

Resolution: verified exact; doi, observed 2026-08-15T19:52:52.259409Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c5f22674-fa73-4579-bb1f-e2b277b70db7 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 50

Resolution: malformed identifier; no resolver link, observed 2026-08-15T19:52:51.727798Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77213c9d-93ba-40d0-b896-679d8d20477e · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.731766Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 019fbf86-ed0f-41cf-92b1-8a46ad4487e8 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.735660Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5fe6654f-976b-4c01-a795-e0ffacd4d059 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.739231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 724d2dab-d82d-4197-a654-aba988c48124 · outbound

This paper cites SpecLLM: Exploring Generation and Review of VLSI Design Specification with Large Language Model.

Working Document -- Formalising Software Requirements with Large Language Models SpecLLM: Exploring Generation and Review of VLSI Design Specification with Large Language Model

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.742812Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 968ed85c-f974-41df-9c81-84a8a18e776e · outbound

This paper cites One-Shot Learning as Instruction Data Prospector for Large Language Models.

Working Document -- Formalising Software Requirements with Large Language Models One-Shot Learning as Instruction Data Prospector for Large Language Models

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.746516Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d549a7e-0be3-4e50-87c0-90ac6f841d22 · outbound

This paper cites Dennis, Clare Dixon, and Michael Fisher.

Working Document -- Formalising Software Requirements with Large Language Models Dennis, Clare Dixon, and Michael Fisher

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.750041Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ab178d2-00e1-4913-a298-edc33ef6acc2 · outbound

This paper cites SpecGen: Automated Generation of Formal Program Specifications via Large Language Models.

Working Document -- Formalising Software Requirements with Large Language Models SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.754532Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1fb869b6-f49a-4163-8611-2aaffe2d91fc · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.758051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72886547-6523-4425-ad65-824f9f5ca625 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.761236Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ddd859a-c237-4fdf-a85a-256d56f02909 · outbound

This paper cites Lopes, Iris Ma, and James Noble.

Working Document -- Formalising Software Requirements with Large Language Models Lopes, Iris Ma, and James Noble

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.768239Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86b06909-ac8a-47f9-b79e-ead1ad000b38 · outbound

This paper cites Laurel: Unblocking Automated Verification with Large Language Models.

Working Document -- Formalising Software Requirements with Large Language Models Laurel: Unblocking Automated Verification with Large Language Models

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.771399Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59dc7396-ecd2-4481-9900-e753f0612cde · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.775445Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f164fa7-443a-405f-98d7-10231a1f8291 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.779280Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d829ab92-e7ac-4048-8826-fe93970ca7d5 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.783378Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff5883e7-0fa3-42a5-9b00-f70ffe48585f · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.786743Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 015bb2a4-e3b6-4c7d-9467-b1f90545378e · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.790370Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7a8f8bd-ca36-46f3-8e0a-abcda7092c5e · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 67

Resolution: malformed identifier; no resolver link, observed 2026-08-15T19:52:51.794204Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe6d22c9-43e2-44ba-b954-d15766c3976f · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.798411Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ea2e9bf-8bc1-4dcc-8365-ef5ae0f7221f · outbound

This paper cites Osborne and C.K.

Working Document -- Formalising Software Requirements with Large Language Models Osborne and C.K

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.801805Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9543964-8db1-46ea-b004-0f3d1dfc5ad6 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 70

Resolution: verified exact; raw_fallback, observed 2026-08-15T19:52:53.019069Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3b486fa1-dac6-468f-9b29-de213b51ea6c · outbound

This paper cites Pinheiro and J.A.

Working Document -- Formalising Software Requirements with Large Language Models Pinheiro and J.A

Reference 71

Resolution: metadata mismatch; raw_fallback, observed 2026-08-15T19:52:52.958575Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 7a830b8f-88d5-4634-bb33-e82437f11708 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.811802Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ba0b57d-c136-4ae4-913e-b2c0daffa234 · outbound

This paper cites Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving.

Working Document -- Formalising Software Requirements with Large Language Models Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.814950Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 922638d4-9daa-4515-aeed-8da1f7a6bd17 · outbound

This paper cites Exploring LLMs for Verifying Technical System Specifications Against Requirements.

Working Document -- Formalising Software Requirements with Large Language Models Exploring LLMs for Verifying Technical System Specifications Against Requirements

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.818366Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd117b61-dde9-4bed-b4f1-00fd985562a9 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.822260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 072f9ab7-0164-4371-a76d-555be262bed0 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 76

Resolution: metadata mismatch; raw_fallback, observed 2026-08-15T19:52:52.737383Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e5edc8be-a5de-4e3f-95d7-695355a9cd72 · outbound

This paper cites Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives.

Working Document -- Formalising Software Requirements with Large Language Models Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.828623Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75fa39a1-8911-4535-8021-000c860e4a2a · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 78

Resolution: verified exact; doi, observed 2026-08-15T19:52:52.220847Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 507184b0-f659-43e2-b9ba-253a0054636f · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.835302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99cd410f-4901-4718-af4a-ac7deb247eba · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.839259Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ca6c3ee-c3d0-4c5b-ac01-b489d75faae5 · outbound

This paper cites A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification.

Working Document -- Formalising Software Requirements with Large Language Models A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.842550Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e538822-a0aa-45d3-80eb-01b88cb5e440 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 82

Resolution: verified exact; doi, observed 2026-08-15T19:52:52.204681Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d6c4a14f-60b5-42cc-9b49-29e90151c182 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 83

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.849969Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f263d1db-a597-4ffc-8f77-6a4c925e5f30 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 84

Resolution: verified exact; doi, observed 2026-08-15T19:52:52.189035Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d691ee88-d509-480f-801f-de82f6dc74de · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.857471Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 295f5820-bd16-4d72-b161-82b8421cdea5 · outbound

This paper cites A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT.

Working Document -- Formalising Software Requirements with Large Language Models A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.860658Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20c574c1-704f-48e1-9aaa-71ad888bebdc · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 87

Resolution: malformed identifier; no resolver link, observed 2026-08-15T19:52:51.864272Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7eb756fe-0f72-494a-afd8-40f41bb8a91f · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.867975Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 208b0139-c76b-4257-92a5-b1b0818042d8 · outbound

This paper cites Lemur: Integrating Large Language Models in Automated Program Verification.

Working Document -- Formalising Software Requirements with Large Language Models Lemur: Integrating Large Language Models in Automated Program Verification

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.871680Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce7ca304-36f9-49bb-aef3-98fa27059b19 · outbound

This paper cites Reprompting: Automated Chain-of-Thought Prompt Inference Through Gibbs Sampling.

Working Document -- Formalising Software Requirements with Large Language Models Reprompting: Automated Chain-of-Thought Prompt Inference Through Gibbs Sampling

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.875140Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 457575f0-0b51-4bb6-9718-ab663f1be4ab · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.879273Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9becc1ec-7cea-41ad-a136-bebe612211e3 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.882536Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 177d8398-fbae-4a00-a105-3e68a59f7499 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.885824Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3fe80e2a-d415-4946-92a4-7b151b870724 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.889188Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0979e965-47a3-4207-aaa4-0fb41d4aa698 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.892651Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf11214a-7b4e-4701-8128-866118b98fa0 · outbound

This paper cites Self-Convinced Prompting: Few-Shot Question Answering with Repeated Introspection.

Working Document -- Formalising Software Requirements with Large Language Models Self-Convinced Prompting: Few-Shot Question Answering with Repeated Introspection

Reference 96

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.896229Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation beb39dca-4ad3-448d-b3d2-80273e14ad84 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 99

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.899701Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3947c9bd-9143-4f87-94d7-e47f20cca1c4 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 100

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.902926Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af5e91e8-0743-42ae-bf94-9e14021e5649 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 101

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.906370Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3075e6d2-79ee-4dba-941e-bf4b9bdc5c67 · outbound

This paper cites an unresolved cited work.

Working Document -- Formalising Software Requirements with Large Language Models Unresolved cited work

Reference 102

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.909845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers