Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement | Paper Citation Record

Observation a71940ab-bff7-498b-8aed-e436461553c2 · outbound

This paper cites an unresolved cited work.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:53.127614Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 900cccd2-901a-46ed-ab46-9950d05044f0 · outbound

This paper cites Madni and Michael Sievers.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Madni and Michael Sievers

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:53.373551Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c77dd95-6343-4577-bcc2-018f2c5aaba6 · outbound

This paper cites Systems engineering vision 2035: Engineering solutions for a better world.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Systems engineering vision 2035: Engineering solutions for a better world

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:53.561751Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13c79612-da00-4023-ab11-f3f2f34b263f · outbound

This paper cites OMG Systems Modeling Language (SysML).

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement OMG Systems Modeling Language (SysML)

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:53.738908Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64b336b0-dbb4-40d1-8045-eff2ca8acf49 · outbound

This paper cites Value and benefits of model-based systems engineering (mbse): Evidence from the literature.Systems Engineering, 24(1):51–66, 2021.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Value and benefits of model-based systems engineering (mbse): Evidence from the literature.Systems Engineering, 24(1):51–66, 2021

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:53.866276Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 487a4de7-e1b6-423c-9fc6-9572bab9870c · outbound

This paper cites Campo, Thomas Teper, Casey E.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Campo, Thomas Teper, Casey E

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:54.019295Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 951391d5-7a8d-4dc4-a837-7ec1e82463cc · outbound

This paper cites Ai4se and se4ai: A research roadmap.Insight, 23(1):8–14, 2020.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Ai4se and se4ai: A research roadmap.Insight, 23(1):8–14, 2020

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:54.211227Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6183cd64-83e2-41a7-8258-8203d473b4fe · outbound

This paper cites an unresolved cited work.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Unresolved cited work

Reference 8

Resolution: verified exact; doi, observed 2026-08-02T05:33:22.476634Z

Source-reported events for the cited work

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

Observation c084beb9-932b-4f13-af73-da59bf5e8362 · outbound

This paper cites The impact of ai on developer productivity: Evidence from github copilot, February 2023.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement The impact of ai on developer productivity: Evidence from github copilot, February 2023

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:54.363534Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df20b7dc-e936-4c05-b2ed-3d6849317005 · outbound

This paper cites The effects of generative ai on high-skilled work: Evidence from three field experiments with software devel- opers.Working Paper, 2025.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement The effects of generative ai on high-skilled work: Evidence from three field experiments with software devel- opers.Working Paper, 2025

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:54.404328Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34989a75-ec3e-4570-a02c-519775a3cdc8 · outbound

This paper cites The productivity effects of generative ai: Evidence from a field experiment with github copilot, March 2024.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement The productivity effects of generative ai: Evidence from a field experiment with github copilot, March 2024

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:54.428287Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d56a1f05-c824-451d-b284-285882a553b8 · outbound

This paper cites Systemp: A multi-agent system for template-based generation of sysml v2, June 2025.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Systemp: A multi-agent system for template-based generation of sysml v2, June 2025

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:54.536714Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 740e1bb0-21dc-463c-9caf-b4e3c4b20089 · outbound

This paper cites An agent-based approach for the automatic generation of valid sysmlv2 models in industrial contexts.Computers in Industry, 172:104350, November 2025.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement An agent-based approach for the automatic generation of valid sysmlv2 models in industrial contexts.Computers in Industry, 172:104350, November 2025

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:54.691021Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e0dfc95-1fc5-4b92-a279-167f17a3a386 · outbound

This paper cites A System Model Generation Benchmark from Natural Language Requirements.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement A System Model Generation Benchmark from Natural Language Requirements

Reference 14

Resolution: verified exact; local_arxiv, observed 2026-08-02T05:33:22.245434Z

Source-reported events for the cited work

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

Observation 412f6946-400e-4942-b397-e9e122bf66db · outbound

This paper cites Natural-language-to-sysmlv2- translation-via-conformance-driven-iterative-refinement.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Natural-language-to-sysmlv2- translation-via-conformance-driven-iterative-refinement

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:54.883762Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 749a9944-a56a-42d7-a9cc-5f95edbe1257 · outbound

This paper cites DoD Digital Engineering Strategy.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement DoD Digital Engineering Strategy

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:54.994189Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e0ae2cb-cf4f-4912-a385-8cf9d7c0617c · outbound

This paper cites DoD Instruction 5000.89: Test and Evaluation.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement DoD Instruction 5000.89: Test and Evaluation

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:55.105055Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e6a6633-fc19-4acd-9131-a5a9ba593857 · outbound

This paper cites Digital engineering transformation across the Department of Defense.The Journal of Defense Modeling and Simulation, 16(4):325–338, 2019.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Digital engineering transformation across the Department of Defense.The Journal of Defense Modeling and Simulation, 16(4):325–338, 2019

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:55.183674Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca163c38-430d-481b-a362-3b5fed0d1b02 · outbound

This paper cites Topcu and Zoe Szajnfarber.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Topcu and Zoe Szajnfarber

Reference 19

Resolution: verified exact; doi, observed 2026-08-02T05:33:22.072217Z

Source-reported events for the cited work

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

Observation 0a5996a4-18b9-4bd6-bd97-50eeb0d0bc57 · outbound

This paper cites Trust in an ai versus a human teammate: The effects of teammate identity and performance on human-ai cooperation.Computers in Human Behavior, 139: 107536, 2023.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Trust in an ai versus a human teammate: The effects of teammate identity and performance on human-ai cooperation.Computers in Human Behavior, 139: 107536, 2023

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:55.270850Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10622501-5c5e-45e3-b1b7-c9c6d8814a6d · outbound

This paper cites Topcu, Mohammed Husain, Max Ofsa, and Paul Wach.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Topcu, Mohammed Husain, Max Ofsa, and Paul Wach

Reference 21

Resolution: verified exact; doi, observed 2026-08-02T05:33:21.875742Z

Source-reported events for the cited work

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

Observation 8696d7af-21fd-4572-8d29-909689a7a9e6 · outbound

This paper cites Reconsidering the trade-off between expertise and flexibility: a cognitive entrenchment perspective.The Academy of Management Review, 35(4):579–603, 2010.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Reconsidering the trade-off between expertise and flexibility: a cognitive entrenchment perspective.The Academy of Management Review, 35(4):579–603, 2010

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:55.401917Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 354e4a17-7a58-4881-88e1-c34248b5d44c · outbound

This paper cites How design engineers spend their time: Job content and task satisfaction.Design studies, 33 (4):391–425, 2012.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement How design engineers spend their time: Job content and task satisfaction.Design studies, 33 (4):391–425, 2012

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:55.458196Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d17d9bc-77bb-42be-9aa8-ab5ddd311f69 · outbound

This paper cites Towards developing metrics to evaluate digital engineering.Systems Engineering, 26(1):3–31, 2023.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Towards developing metrics to evaluate digital engineering.Systems Engineering, 26(1):3–31, 2023

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:55.509994Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cdc66239-90a0-4e0c-b13e-ca2f29f14abc · outbound

This paper cites SysIDE: SysML v2 textual editing and analysis system: Overview and applications.CEAS Space Journal, February 2025.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement SysIDE: SysML v2 textual editing and analysis system: Overview and applications.CEAS Space Journal, February 2025

Reference 25

Resolution: verified exact; doi, observed 2026-08-02T05:33:21.606673Z

Source-reported events for the cited work

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

Observation 934fb819-e556-445a-8bdc-dfd1666f94f3 · outbound

This paper cites Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:55.620377Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a8e68fa-536f-4892-84ff-c62cd51f695a · outbound

This paper cites PhD thesis, University of California, Berkeley, Decem- ber 2008.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement PhD thesis, University of California, Berkeley, Decem- ber 2008

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:55.724562Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c76f3a3-45cf-451a-96ee-ea507ef2649b · outbound

This paper cites Seshia, and Ashish Tiwari.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Seshia, and Ashish Tiwari

Reference 28

Resolution: malformed identifier; no resolver link, observed 2026-08-02T05:32:55.749193Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62df5aa6-9f86-47b6-8624-bc31a43ea4fd · outbound

This paper cites an unresolved cited work.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:55.763201Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4220207-d580-4889-bfdd-bc5aa504e0e6 · outbound

This paper cites Compilable neural code generation with compiler feedback.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Compilable neural code generation with compiler feedback

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:55.910347Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bee3bc17-5578-42c9-8a6c-a9bda67eea76 · outbound

This paper cites Compiler generated feedback for Large Language Models.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Compiler generated feedback for Large Language Models

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:56.114651Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a95646e-1470-4860-bcb7-eca05b058eb0 · outbound

This paper cites Generating sysml behavior models via large language models: An empirical study.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Generating sysml behavior models via large language models: An empirical study

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:56.256035Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5febc637-e62c-4f18-bec7-e9912dac49d7 · outbound

This paper cites an unresolved cited work.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:56.372283Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0cd4626e-96c1-48c4-80ca-36ac0ed82264 · outbound

This paper cites an unresolved cited work.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:56.497966Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1faa356-5abb-47f7-a7a8-63ab6e4e4132 · outbound

This paper cites an unresolved cited work.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:56.657597Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92769b34-d23e-4793-8f58-f564bbfcb95f · outbound

This paper cites Intelligent requirements engineering from natural language and their chaining toward CAD models.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Intelligent requirements engineering from natural language and their chaining toward CAD models

Reference 36

Resolution: verified exact; local_arxiv, observed 2026-08-02T05:33:21.334043Z

Source-reported events for the cited work

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

Observation b3502058-b7d7-4586-81c8-61a39347eb28 · outbound

This paper cites Ontology-based nlp tool for tracing software requirements and conceptual models: An empirical study.Requirements Engineering, 2025.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Ontology-based nlp tool for tracing software requirements and conceptual models: An empirical study.Requirements Engineering, 2025

Reference 37

Resolution: verified exact; doi, observed 2026-08-02T05:33:21.070246Z

Source-reported events for the cited work

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

Observation a2a1dcf7-8232-42c4-bf93-0c260141bdce · outbound

This paper cites An automated approach to generate sysml models from restricted natural language requirements in chinese.Journal of Computer Research and Development, 58(4):706–730, 2021.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement An automated approach to generate sysml models from restricted natural language requirements in chinese.Journal of Computer Research and Development, 58(4):706–730, 2021

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:57.098193Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24782bad-5481-4b7a-9148-4969a275063d · outbound

This paper cites Natural language processing for systems engineering: Automatic generation of systems modelling language diagrams.Knowledge-Based Systems, 259:110071, 2023.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Natural language processing for systems engineering: Automatic generation of systems modelling language diagrams.Knowledge-Based Systems, 259:110071, 2023

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:57.224638Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d024f5b9-2798-407a-b00e-55fcdd474957 · outbound

This paper cites Text-to-model transformation: Natural language-based model generation framework.Systems, 12(9):369, 2024.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Text-to-model transformation: Natural language-based model generation framework.Systems, 12(9):369, 2024

Reference 40

Resolution: verified exact; doi, observed 2026-08-02T05:33:20.874591Z

Source-reported events for the cited work

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

Observation c3a3ce01-615e-4bfa-81eb-0e19be1731f1 · outbound

This paper cites Llm-assisted semantic alignment and integration in collaborative model-based systems engineering using sysml v2.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Llm-assisted semantic alignment and integration in collaborative model-based systems engineering using sysml v2

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:57.480707Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 311ca4e3-1d84-4acc-8162-1889693aef25 · outbound

This paper cites Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Language diagrams.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Language diagrams

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:57.594089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a66cb48c-bd82-49a1-9194-678eba526ac5 · outbound

This paper cites Grammar-constrained decoding for structured nlp tasks without finetuning.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Grammar-constrained decoding for structured nlp tasks without finetuning

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:57.692804Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db065fc6-9287-4964-8327-be924a4011dc · outbound

This paper cites Grammar- aligned decoding.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Grammar- aligned decoding

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:57.831698Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9635be05-16b9-4d91-b7bc-76b8ae31b374 · outbound

This paper cites Grammar-constrained decoding for structured information extraction with low-resource transformers.Frontiers in Artificial Intelligence, 7, 2024.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Grammar-constrained decoding for structured information extraction with low-resource transformers.Frontiers in Artificial Intelligence, 7, 2024

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:57.934372Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5ae5279-6993-41ac-9aee-a1c5221c3a48 · outbound

This paper cites Jabrw and Qusay I.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Jabrw and Qusay I

Reference 46

Resolution: verified exact; doi, observed 2026-08-02T05:33:20.571504Z

Source-reported events for the cited work

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

Observation 2324c27c-1349-4b24-9a9c-f4964e4604c2 · outbound

This paper cites Llmloop: Improving llm-generated code and tests through automated iterative feedback loops.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Llmloop: Improving llm-generated code and tests through automated iterative feedback loops

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:58.177353Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0402dbc4-11ba-4499-88f7-ed67e7d7c54c · outbound

This paper cites VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:58.332156Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b66be05d-a21c-48ec-924d-8be5aa4aa209 · outbound

This paper cites Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:58.523379Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47e993ee-1950-4ce5-9e55-f338789f6a04 · outbound

This paper cites VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:58.667128Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 90e5a40a-7f7c-41c4-86f1-383d8da0b2b1 · outbound

This paper cites Sysml v2 parser for hamr.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Sysml v2 parser for hamr

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:58.811736Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19683587-0ffb-407d-9de4-d5f59b390114 · outbound

This paper cites Sysml v2 pilot implementation.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Sysml v2 pilot implementation

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:59.012801Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66828143-689e-472d-91be-11fe2a2db922 · outbound

This paper cites GPT-5.2 Codex Model.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement GPT-5.2 Codex Model

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:59.176521Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 856f77ad-e70e-4934-97c4-3d183d003402 · outbound

This paper cites Claude Sonnet 4.6 (claude-sonnet-4-6).

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Claude Sonnet 4.6 (claude-sonnet-4-6)

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:59.351883Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70e0d930-1be5-48d8-964d-c7da1d061d85 · outbound

This paper cites DeepSeek Reasoner v3.2 (deepseek-reasoner).

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement DeepSeek Reasoner v3.2 (deepseek-reasoner)

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:59.536573Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e3e4b86-a385-44fd-becb-9830f6bdf5c1 · outbound

This paper cites Mistral Large 2512 (mistral-large-2512).

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Mistral Large 2512 (mistral-large-2512)

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:59.690103Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8e88a69-a2cc-49e4-8a4e-eb84f8bc6729 · outbound

This paper cites Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:59.825522Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8a6903a-168d-4bf9-a74f-2b57744a1b70 · outbound

This paper cites Wright.Numerical Optimization.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Wright.Numerical Optimization

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:59.909165Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14c6c414-306a-46f5-97a2-3c62bc7b5ba8 · outbound

This paper cites Average convergence rate of evolutionary algorithms.IEEE Transactions on Evolutionary Computation, 20(2):316–321, 2016.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Average convergence rate of evolutionary algorithms.IEEE Transactions on Evolutionary Computation, 20(2):316–321, 2016

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-02T05:33:00.054693Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bba86403-0eb0-44e9-9360-1a067aa03b1c · outbound

This paper cites Polyak.Introduction to Optimization.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Polyak.Introduction to Optimization

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-02T05:33:00.171427Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6123d025-252b-40ff-895e-1c2f1ccf5f33 · outbound

This paper cites an unresolved cited work.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Unresolved cited work

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-02T05:33:00.255481Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c644efdf-ca14-4406-a2d5-4af1f86adf3e · outbound

This paper cites an unresolved cited work.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Unresolved cited work

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-02T05:33:00.344681Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a098c1f-b7eb-4369-9849-635caf62a44f · outbound

This paper cites unaddressed and not fixed.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement unaddressed and not fixed

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-02T05:33:00.425717Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d38e5d59-910a-4aff-8209-418d75ca6ffd · outbound

This paper cites an unresolved cited work.

Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement Unresolved cited work

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-02T05:32:56.040198Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers