Paper Citation Record · LEDGER

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision

As of 20 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 2 inbound Pith citation observations for arXiv:2508.18675.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2508.18675 v1

Coverage vector

measured 47 of 47 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T16:20:32.659571Z

measured 49 of 49 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-30T13:01:20.056454Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-05-20T10:58:14.448546Z

Reference resolution

47 of 47 outbound references displayed

verified exact0
verified fuzzy32
unresolved14
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ad93fd90-4fa4-421f-a8f6-5ca7b7c051f9 · outbound

This paper cites Logic, arithmetic, and automata,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Logic, arithmetic, and automata,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:33.066021Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 1c08dba0-de40-435f-bee5-23fdad264595 · outbound

This paper cites DeepSeek LLM: Scaling Open-Source Language Models with Longtermism.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision DeepSeek LLM: Scaling Open-Source Language Models with Longtermism

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-05T16:20:32.542390Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cf1a088-7589-482a-9f2c-7f1b51bb3834 · outbound

This paper cites GPT-4 Technical Report.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision GPT-4 Technical Report

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-05T16:20:32.545396Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d33f548-b3ff-4f91-ba3e-0937b3d6bc3c · outbound

This paper cites A Survey on Large Language Models for Code Generation.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision A Survey on Large Language Models for Code Generation

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-05T16:20:32.548475Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0622d597-20c1-4e2b-a0e4-541a49bf97c9 · outbound

This paper cites MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-05T16:20:32.551998Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96427c03-8f2b-41f1-9c89-5687763fe5aa · outbound

This paper cites ChatDev: Communicative Agents for Software Development.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision ChatDev: Communicative Agents for Software Development

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-05T16:20:32.554835Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 420c6dfd-733d-46d0-a8d3-dcc4b67a04be · outbound

This paper cites Requirements are all you need: From requirements to code with llms,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Requirements are all you need: From requirements to code with llms,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:33.058635Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation bbf95a6c-a584-4045-892f-4ffdb0b0b586 · outbound

This paper cites Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:33.051592Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 840a4a80-0c5b-4c0b-bceb-917e35dbf80d · outbound

This paper cites Formal methods: State of the art and future directions,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Formal methods: State of the art and future directions,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:33.044260Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 125ab2fd-e20c-450f-97e9-a4e740a32335 · outbound

This paper cites Formal methods: Practice and experience,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Formal methods: Practice and experience,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:33.036073Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b8ded25f-6d9b-4f96-896b-8b3fc4306640 · outbound

This paper cites Nissanke, Formal Specification: Techniques and Applications.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Nissanke, Formal Specification: Techniques and Applications

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:33.028286Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8cd24867-06f0-448e-b8b0-60c6c483c511 · outbound

This paper cites Envisioning intelligent requirements engineering via knowledge-guided multi-agent collabora- tion,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Envisioning intelligent requirements engineering via knowledge-guided multi-agent collabora- tion,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:33.020961Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation dd4a7da1-8909-465d-8887-37be4687d2f9 · outbound

This paper cites Elicitron: An LLM Agent-Based Simulation Framework for Design Requirements Elicitation.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Elicitron: An LLM Agent-Based Simulation Framework for Design Requirements Elicitation

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-05T16:20:32.572786Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a38a3f7-dde3-416c-a7d2-b9fbbeb38aff · outbound

This paper cites an unresolved cited work.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-05T16:20:33.013046Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 9c351f3e-0910-4003-b456-22dad1e9c4e1 · outbound

This paper cites Formal Specifications from Natural Language.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Formal Specifications from Natural Language

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-05T16:20:32.577861Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a253ef9f-c4b3-4ca7-a361-8f16f65d3e00 · outbound

This paper cites NL2LTL – a python package for converting natural language (NL) instructions to linear temporal logic (LTL) formulas,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision NL2LTL – a python package for converting natural language (NL) instructions to linear temporal logic (LTL) formulas,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:33.005394Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0c4286cf-0ca3-4392-b76a-a3722f795a8c · outbound

This paper cites From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-05T16:20:32.583009Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f422bcde-4832-495a-9a5f-000c2f5464bc · outbound

This paper cites Autoformalization with large language models,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Autoformalization with large language models,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.996954Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4afaea39-8fce-429e-a6cf-cb50520a246e · outbound

This paper cites Baier and J.-P.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Baier and J.-P

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-05T16:20:32.587923Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e520b668-93e4-4bfc-a49b-e6c3da581b84 · outbound

This paper cites an unresolved cited work.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-05T16:20:32.986120Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c8520f79-e00c-46b3-beb7-634e994f2475 · outbound

This paper cites Introduction to static analysis,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Introduction to static analysis,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.978217Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4584710b-058d-4322-8455-221015c6c551 · outbound

This paper cites Software verification using k-induction,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Software verification using k-induction,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.971367Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 273ec009-0bdc-46bf-a151-7eff4f856ca8 · outbound

This paper cites An axiomatic basis for computer programming,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision An axiomatic basis for computer programming,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.963865Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 38bb5bfa-b51c-4352-ba89-f80e50494aec · outbound

This paper cites Rescher and A.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Rescher and A

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.957257Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 11df2116-3cd3-4fad-9876-65a7da9b087e · outbound

This paper cites Completeness and consistency of tabular requirements: An smt-based verification approach,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Completeness and consistency of tabular requirements: An smt-based verification approach,

Reference 25

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T16:20:32.761717Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5c3948fe-fbcf-414a-b786-dd009bfd7938 · outbound

This paper cites Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-05T16:20:32.604982Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0288f243-beb4-498a-b742-15e3b4d1bb9e · outbound

This paper cites Synthe- sis of reactive (1) designs,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Synthe- sis of reactive (1) designs,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.949844Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation dcd71171-f5e0-48c8-aef6-d5f96ed3a0fd · outbound

This paper cites Source code summarization in the era of large language models,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Source code summarization in the era of large language models,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.943365Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7ea0824e-d7c3-47c6-9d87-496bd1a3244d · outbound

This paper cites Knowledge-based multi- agent framework for automated software architecture design,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Knowledge-based multi- agent framework for automated software architecture design,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.935214Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 37f364f9-f914-4eac-91a6-7a40c3659804 · outbound

This paper cites Enchanting program specification synthesis by large language models using static analysis and program verification,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Enchanting program specification synthesis by large language models using static analysis and program verification,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.928125Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a5e5e872-8d30-49eb-871c-82d678efc226 · outbound

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

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-05T16:20:32.618301Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d12a920c-b585-4cba-999e-271f3a718058 · outbound

This paper cites The specification language tla+,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision The specification language tla+,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.920972Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2da40ebd-3617-486b-8b4e-f48918953460 · outbound

This paper cites Baudin, J.-C.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Baudin, J.-C

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.914553Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e30ae1f4-3f10-420d-8047-7c0fb1ca32d1 · outbound

This paper cites Bertot and P.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Bertot and P

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.907489Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4e8b61ad-8051-4d3f-901b-a5350d65d1e9 · outbound

This paper cites Cousot, Principles of abstract interpretation.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Cousot, Principles of abstract interpretation

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.900529Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation ee2145b3-6564-4ef1-ae4a-ee7bd2cbde99 · outbound

This paper cites Satisfiability modulo theories,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Satisfiability modulo theories,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.892938Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6f9d411b-838d-47c9-9121-683343ac1f72 · outbound

This paper cites The nuxmv symbolic model checker,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision The nuxmv symbolic model checker,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.884612Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 014ec287-771e-4d44-9dfb-53e2f9cd6043 · outbound

This paper cites Correnson, P.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Correnson, P

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.877303Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a17d2ae3-f568-44d1-93a1-eb7fdee3dd59 · outbound

This paper cites Cpachecker: A tool for configurable software verification,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Cpachecker: A tool for configurable software verification,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.869729Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d7dfb13e-9bb0-467c-9955-1493e4433cb3 · outbound

This paper cites Z3: An efficient smt solver,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Z3: An efficient smt solver,

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.861154Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4f53716d-565d-4b0c-a009-0034afa2feda · outbound

This paper cites Lora: Low-rank adaptation of large language models.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Lora: Low-rank adaptation of large language models

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.853876Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e36aceec-ffcd-472d-96d1-4f568f418fd4 · outbound

This paper cites Chain-of-thought prompting elicits reasoning in large language models,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Chain-of-thought prompting elicits reasoning in large language models,

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.846643Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5f9b4c44-e54e-4f39-9659-082188b8fc24 · outbound

This paper cites Retrieval- augmented generation for knowledge-intensive nlp tasks,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Retrieval- augmented generation for knowledge-intensive nlp tasks,

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.839346Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 18d07ca1-5142-42cb-9765-5b809ab2d4ae · outbound

This paper cites The temporal logic of programs,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision The temporal logic of programs,

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-05T16:20:32.651770Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c425a171-afe0-4f0e-9d8a-fcbb5f8525de · outbound

This paper cites Acsl: Ansi/iso c specification,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Acsl: Ansi/iso c specification,

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.828527Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3dbdd73f-4107-4848-9b29-1309b4521b63 · outbound

This paper cites Nusmv 2: An opensource tool for symbolic model checking,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Nusmv 2: An opensource tool for symbolic model checking,

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.820956Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8d131c0f-8f20-4a93-ad27-5c9dd41dd218 · outbound

This paper cites Frama-c: A software analysis perspective,.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision Frama-c: A software analysis perspective,

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T16:20:32.813655Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Pith citing papers

Observation 6ff2af96-17c6-4e3c-91a5-ee2ba17fa787 · inbound

Code as Agent Harness cites this paper.

Code as Agent Harness Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision

Reference 172

Resolution: verified exact; arxiv_id, observed 2026-05-20T10:58:14.450205Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c9f99968-c6e8-4a80-9c7d-c625000477f4 · inbound

Semantic-Enhanced Automatic Refinement of Architecture Recovery Results Using LLMs cites this paper.

Semantic-Enhanced Automatic Refinement of Architecture Recovery Results Using LLMs Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision

Reference 45

Resolution: unresolved; no resolver link, observed 2026-07-30T13:01:20.056454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.