A Short Survey on Formalising Software Requirements using Large Language Models | Paper Citation Record

Observation 1e8f3f06-e12f-41a1-a718-baf3db245fc4 · outbound

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

A Short Survey on Formalising Software Requirements using Large Language Models Prompt Design and Engineering: Introduction and Advanced Methods

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:22.850646Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5401d19-7786-402c-89f2-fa10a70d2878 · outbound

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

A Short Survey on Formalising Software Requirements using Large Language Models Advancing Requirements Engineering through Generative AI: Assessing the Role of LLMs

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:22.899205Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fff1a5d9-d7ac-41ab-bb9a-309ee605c407 · outbound

This paper cites In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems.

A Short Survey on Formalising Software Requirements using Large Language Models In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:22.963591Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc37d67b-fffd-40d2-8389-ad5720c86d1e · outbound

This paper cites In: Proceedings of the 10th Australian Workshop on Safety Critical Systems and Software - Volume 55.

A Short Survey on Formalising Software Requirements using Large Language Models In: Proceedings of the 10th Australian Workshop on Safety Critical Systems and Software - Volume 55

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:23.035090Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation daa0609a-f463-4721-9285-a141e2d0ca19 · outbound

This paper cites CoRRabs/2401.14295 (2024).

A Short Survey on Formalising Software Requirements using Large Language Models CoRRabs/2401.14295 (2024)

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:23.083160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf9b70d9-6daa-4cc5-81bc-f46bbbe97c96 · outbound

This paper cites Ada Lett.31(3), 5–6 (Nov 2011).

A Short Survey on Formalising Software Requirements using Large Language Models Ada Lett.31(3), 5–6 (Nov 2011)

Reference 6

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T01:07:32.628263Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b22e8587-da9d-4d0a-a881-f98ffc5e1f68 · outbound

This paper cites In: Service-Oriented Computing: 22nd Inter- nationalConference,ICSOC2024,Tunis,Tunisia,December3–6,2024,Proceedings,PartII.p.357–372.

A Short Survey on Formalising Software Requirements using Large Language Models In: Service-Oriented Computing: 22nd Inter- nationalConference,ICSOC2024,Tunis,Tunisia,December3–6,2024,Proceedings,PartII.p.357–372

Reference 7

Resolution: verified exact; doi, observed 2026-08-07T01:07:27.933650Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a0e305d4-2da5-4ffb-bd6b-ba20c24303c8 · outbound

This paper cites NLP Verification: Towards a General Methodology for Certifying Robustness.

A Short Survey on Formalising Software Requirements using Large Language Models NLP Verification: Towards a General Methodology for Certifying Robustness

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:23.276928Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68970c94-da3b-4532-ab13-60e94936a4b5 · outbound

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

A Short Survey on Formalising Software Requirements using Large Language Models nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:23.342942Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2548367-ebd3-4ddb-9197-ef6a9412628b · outbound

This paper cites In: SoutheastCon 2024.

A Short Survey on Formalising Software Requirements using Large Language Models In: SoutheastCon 2024

Reference 10

Resolution: malformed identifier; no resolver link, observed 2026-08-07T01:07:23.408227Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ec6a3e3-2e7d-43ba-be74-3d37b0d47421 · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:23.481005Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82206669-08e5-4ec0-8d89-916b7fd415ff · outbound

This paper cites In: Lerner, B.S., Bodík, R., Krishnamurthi, S.

A Short Survey on Formalising Software Requirements using Large Language Models In: Lerner, B.S., Bodík, R., Krishnamurthi, S

Reference 12

Resolution: verified exact; doi, observed 2026-08-07T01:07:27.922100Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 244c7038-84e9-418f-ad9e-cee516e2a675 · outbound

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

A Short Survey on Formalising Software Requirements using Large Language Models Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:23.618441Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8e5110d-f656-45b8-af0b-e0690ff60ecc · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:23.670776Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1e51526-e8b1-4b32-b04f-77e68b52f8ee · outbound

This paper cites In: Proceedings of the 39th IEEE/ACM In- ternational Conference on Automated Software Engineering.

A Short Survey on Formalising Software Requirements using Large Language Models In: Proceedings of the 39th IEEE/ACM In- ternational Conference on Automated Software Engineering

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:23.735225Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b29cf05-d570-476d-b041-d1698b2ac139 · outbound

This paper cites 32(2), 113–133 (Feb 2002).https://doi.org/10.1002/spe.430, https://doi.org/10.1002/spe.430.

A Short Survey on Formalising Software Requirements using Large Language Models 32(2), 113–133 (Feb 2002).https://doi.org/10.1002/spe.430, https://doi.org/10.1002/spe.430

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:23.804273Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 551ea11f-46ea-4b74-b84f-e284b2cf1d4c · outbound

This paper cites In: Rayadurgam, S., Tkachuk, O.

A Short Survey on Formalising Software Requirements using Large Language Models In: Rayadurgam, S., Tkachuk, O

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:23.871337Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47d661de-d14f-4981-bcbc-de6b7108c6db · outbound

This paper cites In: Kosmatov, N., Kovács, L.

A Short Survey on Formalising Software Requirements using Large Language Models In: Kosmatov, N., Kovács, L

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:23.933352Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d0336f4-553c-4dec-b269-c603e6869c69 · outbound

This paper cites In: Margaria, T., Steffen, B.

A Short Survey on Formalising Software Requirements using Large Language Models In: Margaria, T., Steffen, B

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:23.997971Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76c63854-afa7-4c70-8c4b-cc797648ce8d · outbound

This paper cites In- formation Systems 11(1), 9–23 (1986).

A Short Survey on Formalising Software Requirements using Large Language Models In- formation Systems 11(1), 9–23 (1986)

Reference 20

Resolution: verified exact; raw_fallback, observed 2026-08-07T01:07:32.123274Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6887a8b4-04b5-47a9-a062-aca86ce405a8 · outbound

This paper cites Formal Specifications from Natural Language.

A Short Survey on Formalising Software Requirements using Large Language Models Formal Specifications from Natural Language

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:24.131560Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c81a4b0c-a395-49f9-8e44-b2223cfff26d · outbound

This paper cites In: Ku, L., Martins, A., Srikumar, V.

A Short Survey on Formalising Software Requirements using Large Language Models In: Ku, L., Martins, A., Srikumar, V

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:24.172226Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcda3435-5cae-400d-9d45-2c07121106ec · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:24.241687Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19950d4a-e456-4e4b-b801-0ab0b13a466f · outbound

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

A Short Survey on Formalising Software Requirements using Large Language Models Formal Methods: From Academia to Industrial Practice. A Travel Guide

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:24.323286Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8a3c967-df15-4189-bb76-f844d78a1036 · outbound

This paper cites In: Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K., Oh, A.

A Short Survey on Formalising Software Requirements using Large Language Models In: Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K., Oh, A

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:24.473790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1755dd0a-947a-46d5-9172-ccaf3096d571 · outbound

This paper cites In: Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K., Oh, A.

A Short Survey on Formalising Software Requirements using Large Language Models In: Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K., Oh, A

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:24.560475Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31f42c1b-dd42-4234-b921-fdba6a87f6d7 · outbound

This paper cites In: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Sys- temsandNetworksWorkshops(DSN-W).pp.259–262(2023).

A Short Survey on Formalising Software Requirements using Large Language Models In: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Sys- temsandNetworksWorkshops(DSN-W).pp.259–262(2023)

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:24.685731Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a85f494-d562-47c2-80c1-b03ea70b4d00 · outbound

This paper cites IEEE Transactions on Software Engineering 40(8), 818–840 (2014).

A Short Survey on Formalising Software Requirements using Large Language Models IEEE Transactions on Software Engineering 40(8), 818–840 (2014)

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:24.690456Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b8f01e1-432b-4d3a-b7bb-ccdfd955714b · outbound

This paper cites In: Larochelle, H., Ranzato, M., Hadsell, R., Balcan, M., Lin, H.

A Short Survey on Formalising Software Requirements using Large Language Models In: Larochelle, H., Ranzato, M., Hadsell, R., Balcan, M., Lin, H

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:24.745312Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a31addc4-359c-4f8b-a7bb-c4e31dde67fd · outbound

This paper cites ACM Trans.

A Short Survey on Formalising Software Requirements using Large Language Models ACM Trans

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:24.853470Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9fa1f2e-44ac-4154-bbe5-1d0e6de4cad4 · outbound

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

A Short Survey on Formalising Software Requirements using Large Language Models SpecLLM: Exploring Generation and Review of VLSI Design Specification with Large Language Model

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:24.956619Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36ced373-3a8b-4c6e-bfdc-8263ea3d4f3f · outbound

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

A Short Survey on Formalising Software Requirements using Large Language Models One-Shot Learning as Instruction Data Prospector for Large Language Models

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:25.061246Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 539cd32f-605d-46cb-a196-28e122db1293 · outbound

This paper cites ACM Comput.

A Short Survey on Formalising Software Requirements using Large Language Models ACM Comput

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:25.140058Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bae98f85-7c8a-42b5-81ef-b6e841694229 · outbound

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

A Short Survey on Formalising Software Requirements using Large Language Models SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:25.212929Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 074f1a36-e4d1-4674-a46d-5ab411f02235 · outbound

This paper cites Large Language Models Based Automatic Synthesis of Software Specifications.

A Short Survey on Formalising Software Requirements using Large Language Models Large Language Models Based Automatic Synthesis of Software Specifications

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:25.295377Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 054f6fd3-0e68-4c2f-ab0e-9bc5574f9665 · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:25.388711Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6220d133-8bee-4e03-95e8-d913d98b8621 · outbound

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

A Short Survey on Formalising Software Requirements using Large Language Models Laurel: Unblocking Automated Verification with Large Language Models

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:25.544508Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 476a14a2-7590-4c70-81da-c27fd5279b62 · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:25.685615Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb23aa29-c67c-476c-b4ea-ba9ceb4f0abe · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:25.806445Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b36b6993-4fad-4170-957a-d7649802396d · outbound

This paper cites In: Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering.

A Short Survey on Formalising Software Requirements using Large Language Models In: Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering

Reference 40

Resolution: verified exact; doi, observed 2026-08-07T01:07:27.874032Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation e4295363-29e7-4551-951c-5bc37ec3c6c1 · outbound

This paper cites https://doi.org/10.3390/ electronics13112055, https://www.mdpi.com/2079-9292/13/11/2055.

A Short Survey on Formalising Software Requirements using Large Language Models https://doi.org/10.3390/ electronics13112055, https://www.mdpi.com/2079-9292/13/11/2055

Reference 41

Resolution: malformed identifier; no resolver link, observed 2026-08-07T01:07:26.050900Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07591043-5e1b-48c8-a1bc-aa67c000ef76 · outbound

This paper cites In: Alur, R., Henzinger, T.A.

A Short Survey on Formalising Software Requirements using Large Language Models In: Alur, R., Henzinger, T.A

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:26.137461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29ee510e-667b-4add-bc8b-4283fd5d8c2b · outbound

This paper cites In: 2024 IEEE 32nd International Requirements Engineering Conference (RE).

A Short Survey on Formalising Software Requirements using Large Language Models In: 2024 IEEE 32nd International Requirements Engineering Conference (RE)

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:26.247305Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f06689fb-3613-4ddb-b795-a966059bc0de · outbound

This paper cites Computer Science and Information Systems10(4), 1499–1524 (2013).

A Short Survey on Formalising Software Requirements using Large Language Models Computer Science and Information Systems10(4), 1499–1524 (2013)

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:26.388006Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bfe5d1f-b935-421a-a7de-1113a0558141 · outbound

This paper cites In: Pro- ceedings of the Second International Conference on Requirements Engineering.

A Short Survey on Formalising Software Requirements using Large Language Models In: Pro- ceedings of the Second International Conference on Requirements Engineering

Reference 45

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T01:07:28.437796Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 19e81eb3-3170-43ed-a29b-9d514f681a38 · outbound

This paper cites In: 6th IET International Conference on System Safety 2011.

A Short Survey on Formalising Software Requirements using Large Language Models In: 6th IET International Conference on System Safety 2011

Reference 46

Resolution: malformed identifier; no resolver link, observed 2026-08-07T01:07:26.607316Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65c712a2-5246-4b5f-aeec-386756ad340e · outbound

This paper cites In: Proceedings of the 21st International Conference on Mining Software Repositories.

A Short Survey on Formalising Software Requirements using Large Language Models In: Proceedings of the 21st International Conference on Mining Software Repositories

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:26.730912Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01cb34fd-2da7-469e-a76b-04fd576f38ff · outbound

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

A Short Survey on Formalising Software Requirements using Large Language Models Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:26.821274Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0dddb66c-46e1-475d-ad87-7c31f22ad2cb · outbound

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

A Short Survey on Formalising Software Requirements using Large Language Models Exploring LLMs for Verifying Technical System Specifications Against Requirements

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:26.979914Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9bcae5c1-67d4-4c59-bf5f-1d1b94c662e7 · outbound

This paper cites In: Bouamor, H., Pino, J., Bali, K.

A Short Survey on Formalising Software Requirements using Large Language Models In: Bouamor, H., Pino, J., Bali, K

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.106189Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01341038-6d0f-4732-9de9-1dfd2ac7673c · outbound

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

A Short Survey on Formalising Software Requirements using Large Language Models A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.256730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d66fc35-512a-4c16-8a50-5abdf4003d4b · outbound

This paper cites In: Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K., Oh, A.

A Short Survey on Formalising Software Requirements using Large Language Models In: Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K., Oh, A

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.367306Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 226aa4ac-4234-4272-918e-01d4f9edef24 · outbound

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

A Short Survey on Formalising Software Requirements using Large Language Models A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.371360Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 360963b7-ecb4-415c-ad48-3de2bc0b0289 · outbound

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

A Short Survey on Formalising Software Requirements using Large Language Models Lemur: Integrating Large Language Models in Automated Program Verification

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.375510Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8bd69cc-a2c1-4e79-8021-a6b3ab3f42b2 · outbound

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

A Short Survey on Formalising Software Requirements using Large Language Models Reprompting: Automated Chain-of-Thought Prompt Inference Through Gibbs Sampling

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.378724Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f64b01f8-7455-4f92-98bc-ffd32a3f01ad · outbound

This paper cites In: 2024 IEEE 24th International Conference on Software Quality, Reliability and Security (QRS).

A Short Survey on Formalising Software Requirements using Large Language Models In: 2024 IEEE 24th International Conference on Software Quality, Reliability and Security (QRS)

Reference 56

Resolution: malformed identifier; no resolver link, observed 2026-08-07T01:07:27.382458Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6e7c78a-c8fb-48f6-bf63-dd59c3bcf3a4 · outbound

This paper cites In: 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).

A Short Survey on Formalising Software Requirements using Large Language Models In: 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE)

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.385891Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd02a0ad-f3d4-457c-9acf-90fbc1bb9410 · outbound

This paper cites In: Oh, A., Naumann, T., Globerson, A., Saenko, K., Hardt, M., Levine, S.

A Short Survey on Formalising Software Requirements using Large Language Models In: Oh, A., Naumann, T., Globerson, A., Saenko, K., Hardt, M., Levine, S

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.389175Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff6b4eb1-eced-4f08-b0b2-ebfc1c15b0b9 · outbound

This paper cites In: 2024 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).

A Short Survey on Formalising Software Requirements using Large Language Models In: 2024 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.392441Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01c8d317-f8b3-4ddb-bbdb-4a72313ce6f5 · outbound

This paper cites In: Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K., Oh, A.

A Short Survey on Formalising Software Requirements using Large Language Models In: Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K., Oh, A

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.395672Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 690cb114-475e-46e1-aa65-d8a7b1aa83f9 · outbound

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

A Short Survey on Formalising Software Requirements using Large Language Models Self-Convinced Prompting: Few-Shot Question Answering with Repeated Introspection

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.398777Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65302660-add8-4174-8d3d-f24f0033b6ea · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.402086Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 311e14ac-c29e-4fa7-8e2b-a358855d95b1 · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.405542Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0348922-9d7b-4999-9229-51f2d06d4c07 · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.408674Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9daed523-90a4-41c6-9f3d-88bc5b093988 · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.412112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe5cb001-622a-4f6b-b3dd-2e5440d1dd74 · outbound

This paper cites ChatGPTCompares the performance of symbolic NLP and ChatGPT in generating correct JML output from natural language preconditions.

A Short Survey on Formalising Software Requirements using Large Language Models ChatGPTCompares the performance of symbolic NLP and ChatGPT in generating correct JML output from natural language preconditions

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.415571Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8dc56348-f2f2-46fc-a1df-229fe8292b4f · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.419119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fec0b9d1-e5da-45b4-9c8a-5db37b982b88 · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.422589Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3729e319-8008-4d42-a6b5-4b58b4442fdb · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.426002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d02791a-6bc3-4577-83a2-6c6062b9ef7e · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.428977Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e37915dc-f5c1-403b-af82-ac92af06ede4 · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.431970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c06cc6c-b60f-4be1-abe5-1a2365bc3551 · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.434962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54ec9a46-a0a3-4c6a-ade7-1893dad19201 · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.438644Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97dd3f0f-5ca6-4574-84a2-74ab63920505 · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.441670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9340b517-63a4-4bc6-9c98-6f398d9a773e · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.444758Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa653d2b-e041-437d-b24b-00e6e0a1979e · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.447749Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 889f5cda-8c66-4c9c-8335-a10167c231eb · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.450790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef1aec95-fa91-465f-95f3-27e5ed27da65 · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.454033Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ee35ed9-8b31-4070-af9d-8380fd2bc821 · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.457533Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f3b5117-dcd7-4b71-97dd-db77d94e4f7a · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.460567Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc3ec6ff-565a-4c38-af5b-bd4ea651038e · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.463834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5f18727-7145-4d65-9d22-9fd7a7f85b2b · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.467171Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 551d240c-16ad-4f72-9e1c-c2b5faf4570e · outbound

This paper cites Table 2: Summary of LLMs related literature (Part 1 of 2) 16 Arshad Beg, Diarmuid O’Donoghue, and Rosemary Monahan Ref.

A Short Survey on Formalising Software Requirements using Large Language Models Table 2: Summary of LLMs related literature (Part 1 of 2) 16 Arshad Beg, Diarmuid O’Donoghue, and Rosemary Monahan Ref

Reference 83

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.470635Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ea7660a-ca0c-4c5e-b4b4-50c646598539 · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.474023Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1cfae2b7-8cba-47d4-8af6-36aa8f629f1f · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.477417Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08d0ac47-518e-473f-9e2c-0e6fb52a034c · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.480385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f9d26bc-2889-478c-b027-0c135502cbe2 · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.483391Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f6273c1-9d19-4f20-9481-1a04a3003d46 · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.486418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3260c218-6e76-4e89-824b-e56fd3313897 · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.489891Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8aa6316-f867-455a-bcb2-08c986f7019a · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.493246Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65c5edc1-6352-4c83-9ee6-ee6405a9c5ee · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.496242Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9993fc9d-9c31-4f17-8975-74a9dec8064c · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.499790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b83f872-6866-4865-9aa9-57e5dc0ccaf6 · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.502840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 527244b5-e1c7-4a1f-90df-e984a8672ff7 · outbound

This paper cites Found that Stanford CoreNLP, FreeLing, and NLTK performed best.

A Short Survey on Formalising Software Requirements using Large Language Models Found that Stanford CoreNLP, FreeLing, and NLTK performed best

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.506228Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3bbe7cb0-9c48-4667-8d04-1a0f2edeca3e · outbound

This paper cites GPT-4 achieved best results with retrieval-augmented CoT prompt, producing 153 verified Dafny solutions.

A Short Survey on Formalising Software Requirements using Large Language Models GPT-4 achieved best results with retrieval-augmented CoT prompt, producing 153 verified Dafny solutions

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.509413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b3b4d79-b54b-4b27-aad0-66b36b494cf5 · outbound

This paper cites Developed ReProver, a retrieval-augmented LLM-based prover that improved theorem proving efficiency.

A Short Survey on Formalising Software Requirements using Large Language Models Developed ReProver, a retrieval-augmented LLM-based prover that improved theorem proving efficiency

Reference 96

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.512564Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 084ef985-16e3-43a6-8765-3c6842a5a9df · outbound

This paper cites Hammers are implemented to find the appropriate premises to complete the proofs of conjectures.

A Short Survey on Formalising Software Requirements using Large Language Models Hammers are implemented to find the appropriate premises to complete the proofs of conjectures

Reference 97

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.516162Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c709756-2a82-48a0-9fbb-f90d3668e3d1 · outbound

This paper cites an unresolved cited work.

A Short Survey on Formalising Software Requirements using Large Language Models Unresolved cited work

Reference 98

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.519145Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29b6b0dc-c617-499b-8c22-37754f08b4d1 · outbound

This paper cites This is based on literature available of ten years (2008 - 2018).

A Short Survey on Formalising Software Requirements using Large Language Models This is based on literature available of ten years (2008 - 2018)

Reference 99

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.522124Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4985f244-0065-4e77-8e83-019d58480b19 · outbound

This paper cites PathCrawler generated more context-aware annotations while, EVA efficiency improved having less run-time errors.

A Short Survey on Formalising Software Requirements using Large Language Models PathCrawler generated more context-aware annotations while, EVA efficiency improved having less run-time errors

Reference 100

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:27.525170Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers