Pith. sign in

Paper Citation Record · LEDGER

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code

As of 19 August 2026, this Paper Citation Record lists 76 of 76 outbound references and 0 inbound Pith citation observations for arXiv:2507.15025.

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

pith.paper-citation-record.v1
2507.15025 v1

Coverage vector

measured 76 of 76 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T15:48:50.931991Z

measured 76 of 76 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

76 of 76 outbound references displayed

  • verified exact12
  • verified fuzzy38
  • unresolved26
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation eb630cce-ee26-45e8-8d91-97f2d8f3d8e8 · outbound

This paper cites an unresolved cited work.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Unresolved cited work

Reference 1

Resolution
verified exact
doi, observed 2026-08-06T15:48:51.561762Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:41.549502Z digest=sha256:4e1fef6bb4e9761d0ae8a6495be2fd93386f773375d56c172c3c1095784d5e76

Observation ead4b540-cc60-4e5f-8a9f-4f057e85781d · outbound

This paper cites Exploring generative ai in automated software engineering,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Exploring generative ai in automated software engineering,

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:04.342414Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:41.632344Z digest=sha256:9d481524e5c6513f2e623fcaaf1bc976073b90003af1e3893421643cfc361dab

Observation d211b553-b1e0-4e2f-b01f-6eeda93a1277 · outbound

This paper cites Generative ai adoption in automotive vehicle technology: Case study of custom gpt,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Generative ai adoption in automotive vehicle technology: Case study of custom gpt,

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:04.046922Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:41.727846Z digest=sha256:b8cd076f3c648ef7ffb9218ec63181290b1c7c0ae5e4350f2fa4f7e7274e0a2e

Observation ee8df169-b79a-4604-9346-ce4a48feb923 · outbound

This paper cites Auto- motive software engineering in an increasingly data-driven automotive sector,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Auto- motive software engineering in an increasingly data-driven automotive sector,

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:03.811548Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:41.901955Z digest=sha256:b524d2dd067a6c749e459b039b149f5dffc556d5480cce7c722d11843afa8496

Observation a5b731e8-55e5-4039-94e6-8dea9125e2f7 · outbound

This paper cites Requirements and software engineering for automotive perception systems: an interview study,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Requirements and software engineering for automotive perception systems: an interview study,

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:03.556610Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:42.030904Z digest=sha256:94a6ed63df5659a088f57723fbe33299389e40a891f75bada099afff3832b191

Observation 57e60dea-d309-4bcd-9d22-38c440d0b01d · outbound

This paper cites Requirements management in automotive: Tools and trends for a competitive edge,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Requirements management in automotive: Tools and trends for a competitive edge,

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:03.327862Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:42.322634Z digest=sha256:c1b78d9df1b95200469d8d08b71cc47fecc7a30cdc96a0582c9bf76f5ab7d917

Observation 42ff040c-edf7-44e7-b956-dd77031accbd · outbound

This paper cites A Survey on Large Language Models with some Insights on their Capabilities and Limitations.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code A Survey on Large Language Models with some Insights on their Capabilities and Limitations

Reference 7

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:42.431801Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:42.431801Z digest=sha256:294c882ec7cd7164f7ca3645d3d82209b4a484e0f8ee4833d291d3f0430abfe9

Observation aa3ed4c5-26ea-4b82-a069-b7cf77b94227 · outbound

This paper cites Language Models are Few-Shot Learners.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Language Models are Few-Shot Learners

Reference 8

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:42.559046Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:42.559046Z digest=sha256:9552c29eec2039c65603031986f6d397210fa1441dabb8f9697e4bdcd53c852c

Observation 3fa56de5-4cd8-45a2-8fab-2005b3845b6e · outbound

This paper cites Pre-train prompt fine-tune: A survey of prompting methods in natu- ral language processing,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Pre-train prompt fine-tune: A survey of prompting methods in natu- ral language processing,

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:03.045351Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:42.739849Z digest=sha256:6aefe53a36339e885a195c385cd46590a95c9c172285ea028ea685a46271ca45

Observation 8d4db038-a5d3-449f-ad5f-7c81d1360589 · outbound

This paper cites Using the Retrieval- Augmented Generation to Improve the Question-Answering System in Human Health Risk Assessment: The Development and Application,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Using the Retrieval- Augmented Generation to Improve the Question-Answering System in Human Health Risk Assessment: The Development and Application,

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:02.777852Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:42.832656Z digest=sha256:587a85d51027bd5263886ccf645328eba8f76cb077251436e65656b0fb6065f7

Observation c3911bec-1df8-44cc-b2c6-3ee826f0a6e6 · outbound

This paper cites Automating regulatory compliance: A multi-agent solution using Amazon Bedrock and CrewAI | Artificial Intelligence and Machine Learning,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Automating regulatory compliance: A multi-agent solution using Amazon Bedrock and CrewAI | Artificial Intelligence and Machine Learning,

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:02.508295Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:42.951263Z digest=sha256:912ae5c2e209b8f013bd3684c35e90eeca210b357b6f837cdeb5646a6f766301

Observation 2e28d110-24e2-4637-896e-dd948d3edc44 · outbound

This paper cites Vision language models in autonomous driving: A survey and outlook,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Vision language models in autonomous driving: A survey and outlook,

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:02.323854Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:43.069431Z digest=sha256:933922d6a0a04dd9ef87227293916369e9ed2354069d4f0123d207d1e87f4658

Observation 6f0ae2bc-65cf-4420-aba1-2c3dab16ef78 · outbound

This paper cites NotebookLM: Ai-powered research and note-taking assistant,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code NotebookLM: Ai-powered research and note-taking assistant,

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:02.065549Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:43.180894Z digest=sha256:a5028af1f0b0cadd30cc2fb5076bc1ad720165d4cd981131cfddc9e6408408d1

Observation 0ffb722f-d38e-4818-b7d0-1eb37aad92a8 · outbound

This paper cites MANNHEIM-CeCaS – Central Car Server – Supercomputing for Automotive,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code MANNHEIM-CeCaS – Central Car Server – Supercomputing for Automotive,

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:01.802687Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:43.299221Z digest=sha256:55a8e58eaf91df1d22e7a419f4184e27ace96755ad701d794644077d1a737632

Observation a847b231-f73d-479d-b0f0-0d1a4b0543aa · outbound

This paper cites Towards single-system illusion in software-defined vehicles - automated, ai-powered workflow,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Towards single-system illusion in software-defined vehicles - automated, ai-powered workflow,

Reference 15

Resolution
verified exact
raw_fallback, observed 2026-08-06T15:48:54.535496Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:43.406439Z digest=sha256:185ba4a65303a55e0051ece29f8e0ed52973ebbba3e7b1379643bf3230f96876

Observation 143b03ac-8b7e-444c-8a0b-9d840ac0c05b · outbound

This paper cites Synergy of large language model and model driven engineering for automated development of centralized vehicular systems,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Synergy of large language model and model driven engineering for automated development of centralized vehicular systems,

Reference 16

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:43.510902Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:43.510902Z digest=sha256:b886fa2cb5ade9e7bfd593613a9c74aba77bdc1eaa5ef343c849b885d171ac5b

Observation 5627c5e8-016b-4dd5-81cc-1cc9f45a5e57 · outbound

This paper cites Generative artificial intelligence for model-based graphical programming in automotive function development,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Generative artificial intelligence for model-based graphical programming in automotive function development,

Reference 17

Resolution
verified exact
doi, observed 2026-08-06T15:48:51.172230Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:43.611400Z digest=sha256:5bfc075dfb12c30dcc1922121ff7384ff1825593287040d1c37a918c250b473a

Observation 8f6446d2-3bde-4fa8-bd35-df9d8a2aa170 · outbound

This paper cites RECSIP: REpeated Clustering of Scores Improving the Precision.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code RECSIP: REpeated Clustering of Scores Improving the Precision

Reference 18

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:43.757714Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:43.757714Z digest=sha256:35477472e88c9183cbe11bb15ab16a57d5893d32668793ffd926f14f7fc63cbb

Observation 0f581378-7db1-40a8-a2f7-1d41c48df6de · outbound

This paper cites Adopting rag for llm-aided future vehicle design,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Adopting rag for llm-aided future vehicle design,

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:01.562286Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:43.865567Z digest=sha256:71aebb4defc70fcbd843f5a3369e2b1e97258ce0551d866e51a88cadf7985c28

Observation 4a99cf90-e7a1-4f46-ba96-fb859d265b64 · outbound

This paper cites Local large language models to simplify requirement engineering documents in the automotive industry,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Local large language models to simplify requirement engineering documents in the automotive industry,

Reference 20

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:43.994745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:43.994745Z digest=sha256:c3272e46dba95ab6a18f5649bcbac60481561f5687d87ba00464c687729d4029

Observation 980c0941-1199-4641-9980-2f5c023f9b13 · outbound

This paper cites Querying Large Automotive Software Models: Agentic vs. Direct LLM Approaches.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Querying Large Automotive Software Models: Agentic vs. Direct LLM Approaches

Reference 21

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:44.102637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:44.102637Z digest=sha256:1c81c3c1a2a733545bfdb3342b9e88c3d915224ab1cdf4874344e52a4744c7c6

Observation 6785ce23-a96d-43dc-a3e4-1cf989473046 · outbound

This paper cites Llm-based iterative approach to metamodeling in automotive,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Llm-based iterative approach to metamodeling in automotive,

Reference 22

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:01.310805Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:44.212477Z digest=sha256:0542d30f69c5416b5ced699fe2f157f8def8515c8009ea91017f7a7609a0da9c

Observation 34da2b63-992a-4f10-a4b8-f81f2a5edd8a · outbound

This paper cites Llm-enabled instance model generation,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Llm-enabled instance model generation,

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:01.020007Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:44.328213Z digest=sha256:439d05bafbda172e398b29d16e03ebaea509b8c1f671e021c0352981ff37e241

Observation b1db050f-2aa5-4dbe-907a-36d5778029af · outbound

This paper cites Generative ai for ocl constraint generation: Dataset collection and llm fine-tuning,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Generative ai for ocl constraint generation: Dataset collection and llm fine-tuning,

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:00.719833Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:44.433167Z digest=sha256:62195db8361385cf690361924d59036def78304bcac155a05238d8c6d1b3e9d1

Observation 4dd95e5d-30a8-4fa0-b76e-004cdc17f731 · outbound

This paper cites Optimizing Retrieval Augmented Generation for Object Constraint Language.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Optimizing Retrieval Augmented Generation for Object Constraint Language

Reference 25

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:44.547059Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:44.547059Z digest=sha256:8681f6d42befd175dec9262b9e5ec07bda333113411a057e97b842212e8d5f51

Observation 08559745-6a99-46c6-a9e9-ad850e596a2d · outbound

This paper cites Specbook-copilot – efficient formalization of requirements using artificial intelligence in the development of mb.os,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Specbook-copilot – efficient formalization of requirements using artificial intelligence in the development of mb.os,

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:00.428677Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:44.691184Z digest=sha256:0dc788490652e4dfe5d7abef8cfd26e8651a8c1908bd75e5c2f3ade62db6d381

Observation 31d59a06-c44d-434c-b28c-0715f838cbf0 · outbound

This paper cites Chat2Scenario: Scenario Extraction From Dataset Through Utilization of Large Language Model.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Chat2Scenario: Scenario Extraction From Dataset Through Utilization of Large Language Model

Reference 27

Resolution
verified exact
local_arxiv, observed 2026-08-06T15:48:54.046959Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:44.838999Z digest=sha256:062592f66200e9da2915e0856078878efd6405cdf094a59c2053a708eab12b97

Observation 079aa970-b9a0-47f2-a687-f7f5e1921b34 · outbound

This paper cites TARGET: Automated Scenario Generation from Traffic Rules for Testing Autonomous Vehicles via Validated LLM-Guided Knowledge Extraction.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code TARGET: Automated Scenario Generation from Traffic Rules for Testing Autonomous Vehicles via Validated LLM-Guided Knowledge Extraction

Reference 28

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:44.993593Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:44.993593Z digest=sha256:2a09a70891e486ccc3f475d51f55582522433eb6fe59b52d571dbe92b1627808

Observation 3d14f56f-5017-4033-8029-42b08da41fea · outbound

This paper cites LMM-enhanced Safety-Critical Scenario Generation for Autonomous Driving System Testing From Non-Accident Traffic Videos.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code LMM-enhanced Safety-Critical Scenario Generation for Autonomous Driving System Testing From Non-Accident Traffic Videos

Reference 29

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:45.150312Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:45.150312Z digest=sha256:e128ee8521217ba1531b89672f896b758e5f697cf4129c6711a7a932419d1951

Observation f354c829-514e-408e-bdd5-2029511a0c28 · outbound

This paper cites LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models

Reference 30

Resolution
verified exact
local_arxiv, observed 2026-08-06T15:48:53.753714Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:45.269130Z digest=sha256:f4a8e1e744a80f1e4ac7e1c0e9cca8585e559b2d8416f1fba050aa6aae8331e5

Observation ede10756-5d1f-4918-a4d3-bd347758c1d6 · outbound

This paper cites Towards specification-driven llm- based generation of embedded automotive software,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Towards specification-driven llm- based generation of embedded automotive software,

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:00.113847Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:45.428325Z digest=sha256:578afc1ce9cc1b6d7fc4dd818bf3082b72efd79cf58b35109f977653ce545b34

Observation 17aa2763-0c3b-47f9-997b-cd9bd1b2303f · outbound

This paper cites An empirical study of the code generation of safety-critical software using llms,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code An empirical study of the code generation of safety-critical software using llms,

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:59.852540Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:45.556466Z digest=sha256:57307745dc1964094a4c0108a9c75867ecebcbf10627670da718470ed3e41ded

Observation 70e7cb5d-03b5-4707-ab5a-a3a125878511 · outbound

This paper cites On simulation-guided llm-based code generation for safe autonomous driving software,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code On simulation-guided llm-based code generation for safe autonomous driving software,

Reference 33

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:59.631019Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:45.671226Z digest=sha256:6a0bc431df8f44c5b2cd2642fc3d3afe8ac357246e7e0a632469fdbd59e90d59

Observation edf77b9c-1a45-4b53-a8d9-b2e3ea170b26 · outbound

This paper cites Automating automotive software development: A synergy of generative ai and formal methods,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Automating automotive software development: A synergy of generative ai and formal methods,

Reference 34

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:45.768966Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:45.768966Z digest=sha256:323d61fbb78c376745999c35e7e05668f02226c11052f3478c8cbf6f7ade1da6

Observation 4a0d39f5-381c-40e9-8e33-6755dad5173f · outbound

This paper cites Are requirements really all you need? A case study of LLM-driven configuration code generation for automotive simulations.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Are requirements really all you need? A case study of LLM-driven configuration code generation for automotive simulations

Reference 35

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:45.880763Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:45.880763Z digest=sha256:fc88328d02e4b5483294e2d1a38e8ceb425aa98d0421ee525b969f38539f2e01

Observation 1a57a632-7919-4bac-9ee2-48ef27d7b520 · outbound

This paper cites Llm-driven testing for autonomous driving scenarios,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Llm-driven testing for autonomous driving scenarios,

Reference 36

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:59.362828Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:46.003434Z digest=sha256:320284bb33983a7bb5c740224ab2a24e8d829538e75552a6f1086ddf04e70357

Observation 073a27a9-2611-45fc-8d8e-c9dc235456b3 · outbound

This paper cites Survey of hallucination in natural language generation,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Survey of hallucination in natural language generation,

Reference 37

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:59.091257Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:46.124900Z digest=sha256:86bbfa3c9c0ae18ad8f5ce634f91a7f04a1cc8d4ef3a0c9bac018dee271e6424

Observation 2e305797-b359-4e6b-910c-df3d006a6607 · outbound

This paper cites Encouraging divergent thinking in large language models through multi-agent debate,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Encouraging divergent thinking in large language models through multi-agent debate,

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:58.823475Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:46.394000Z digest=sha256:939a35afa5bcea1b673ff30746c37e005dfe70ed9227e53892fa0b8ab975be50

Observation 52d9da28-9288-418b-8506-fa0d4d751347 · outbound

This paper cites ReConcile: Round-table conference improves reasoning via consensus among diverse LLMs,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code ReConcile: Round-table conference improves reasoning via consensus among diverse LLMs,

Reference 39

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:58.584291Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:46.501200Z digest=sha256:964387419cb482bdbb524baeddef80fc4ab49f82d9a606916b607f5b1bb0b889

Observation 2c067439-6ae3-462b-bd48-ca69149a165c · outbound

This paper cites Rethinking the bounds of LLM reasoning: Are multi-agent discussions the key?.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Rethinking the bounds of LLM reasoning: Are multi-agent discussions the key?

Reference 40

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:58.225888Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:46.656801Z digest=sha256:fd265a78f78e47436f8b24cee47b365b20f4f2eaa919b0149759761f16c7dbae

Observation 7eff8fbb-a6d0-4a61-89e2-23c7ef7f7e3f · outbound

This paper cites Self-consistency improves chain of thought reasoning in language models,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Self-consistency improves chain of thought reasoning in language models,

Reference 41

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:46.740838Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:46.740838Z digest=sha256:b534fa01c1bd291345d8a1d84ae01db6dd7fe2d5696b6ccdda45716857d6de2d

Observation d50a4cca-baf9-4a50-bcd9-b8c6b3b7be65 · outbound

This paper cites Reasoning Aware Self-Consistency: Leveraging Reasoning Paths for Efficient LLM Sampling.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Reasoning Aware Self-Consistency: Leveraging Reasoning Paths for Efficient LLM Sampling

Reference 42

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:46.888459Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:46.888459Z digest=sha256:9005df9dafb471219b3fb089ecc2c0e738190abc341e53e133a6d73474671355

Observation 78f71e1c-b0f9-426a-a780-521e6aff7ca9 · outbound

This paper cites Internal Consistency and Self-Feedback in Large Language Models: A Survey.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Internal Consistency and Self-Feedback in Large Language Models: A Survey

Reference 43

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:47.012964Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:47.012964Z digest=sha256:c915adcde1fbef00f88f5747ee5ee34b6d417759d7acd33d3b3d5936d527794b

Observation 2297e8cc-3e00-44eb-b696-03d073bd4042 · outbound

This paper cites Escape sky-high cost: Early-stopping self-consistency for multi-step reasoning,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Escape sky-high cost: Early-stopping self-consistency for multi-step reasoning,

Reference 44

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:57.975538Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:47.159185Z digest=sha256:ae0ad839f7ecbf4ed7b7ab57ed523cd5b8fe176a253311f8b5a3c3dbf63fc9c0

Observation 48ebbae2-af95-47a1-b352-83cd3cb00326 · outbound

This paper cites Let’s sample step by step: Adaptive-consistency for efficient reasoning and coding with LLMs,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Let’s sample step by step: Adaptive-consistency for efficient reasoning and coding with LLMs,

Reference 45

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:57.745501Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:47.327400Z digest=sha256:666c3cb12bff21c98684c9797fb06765790400f3bde1c605f4881ef2059cb89c

Observation 2a8734b4-9ee0-440e-bd35-96935f357225 · outbound

This paper cites SelfCheckGPT: Zero-Resource Black-Box Hallucination Detection for Generative Large Language Models,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code SelfCheckGPT: Zero-Resource Black-Box Hallucination Detection for Generative Large Language Models,

Reference 46

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:57.432640Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:47.474640Z digest=sha256:96660079b2518c04724f0a90b6c896433dec682804e910b2d20639c11d29a617

Observation 3919c584-7db8-4760-a804-1cc89128cc57 · outbound

This paper cites Evaluating uncertainty-based failure detection for closed-loop LLM planners,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Evaluating uncertainty-based failure detection for closed-loop LLM planners,

Reference 47

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:57.170888Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:47.571062Z digest=sha256:1c4b153916496207d2401c793441bf6a95f852133556b6c19cb28c983b75b6c6

Observation 77321195-86b6-482b-be87-f12e1d8d4271 · outbound

This paper cites CLUE: Concept-Level Uncertainty Estimation for Large Language Models.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code CLUE: Concept-Level Uncertainty Estimation for Large Language Models

Reference 48

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:47.673570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:47.673570Z digest=sha256:378d8aabc4d6b001cc0990e5a30144d1ceaffc36878177eca8476e2e01f57894

Observation d025c167-3784-401d-82f5-bb40e17e4434 · outbound

This paper cites Geneva, Switzerland: ISO, 2018.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Geneva, Switzerland: ISO, 2018

Reference 49

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:56.918729Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:47.772438Z digest=sha256:927ae0652b5eff1b72bf146f7c84d10612e7031939a3c5af730fcb6aab88c2b8

Observation 77614bac-fa67-447b-88af-786e5542873f · outbound

This paper cites Cppcheck: A static analysis tool for c++,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Cppcheck: A static analysis tool for c++,

Reference 50

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:56.672425Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:47.928332Z digest=sha256:67234a9fed3c5a10430887104b5fe538ef8cf7d1877f15ec75a2f53216f2fce5

Observation c1663745-2309-4efd-b846-785f62a68238 · outbound

This paper cites Multimodal chain-of-thought reasoning in language models,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Multimodal chain-of-thought reasoning in language models,

Reference 51

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:56.421469Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:48.050027Z digest=sha256:02ba66daf162d4767827ab7d5df7e2ec33abcae138b8e0b6dfa7eacb1ac57616

Observation 818418cd-f533-4854-b5b0-ccc61331aeef · outbound

This paper cites Better zero-shot reasoning with role-play prompting,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Better zero-shot reasoning with role-play prompting,

Reference 52

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:56.239945Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:48.155781Z digest=sha256:7ecb55b71de02e01930d9a49430c0a9e09040ade7aa548eac9df14ee267ace51

Observation bb0b8114-f0dc-44de-b69b-5e560105e54e · outbound

This paper cites Langprop: A code optimization framework using large language models applied to driving,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Langprop: A code optimization framework using large language models applied to driving,

Reference 53

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:48.413355Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:48.413355Z digest=sha256:d503e1f6a413fccd3ba8f533ae72e9f49cfd6a1dee79d47680ed76438598d91f

Observation 18b76216-824e-41f9-84e2-8b245f09a15a · outbound

This paper cites Vecogen: Automating generation of formally verified c code with large language models,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Vecogen: Automating generation of formally verified c code with large language models,

Reference 54

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:56.042054Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:48.514823Z digest=sha256:5735564a4e432c91eefc4d5b5b5b08986e91397c3a505c45de23e03581ba017f

Observation 12b33664-c80e-4c68-8197-598a871ae5cd · outbound

This paper cites Better Zero-Shot Reasoning with Role-Play Prompting.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Better Zero-Shot Reasoning with Role-Play Prompting

Reference 55

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:48.298639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:48.298639Z digest=sha256:c34b3f1f6cbace53638a65b6ea3037a4c5ebf3a21e8f4e97d64fe824bb38d59d

Observation 152494c3-7c23-43a2-bc11-935be59db08a · outbound

This paper cites Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems

Reference 56

Resolution
verified exact
local_arxiv, observed 2026-08-06T15:48:53.276261Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:48.929158Z digest=sha256:ed01de77a9069b0c81c190f020008ddfa59877a57947d6e665efc7c003af25de

Observation 23a294b8-da9f-44c4-872a-abecfc3bdf58 · outbound

This paper cites A VL CAMEO 5™,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code A VL CAMEO 5™,

Reference 57

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:55.783200Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:49.051822Z digest=sha256:bc4a6b3409aa3be2b20583a6873358005737b028e6ec34c129aa29983401911d

Observation 1a2882d5-d713-4da9-aadc-31350169309d · outbound

This paper cites (2025) Sysml.org.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code (2025) Sysml.org

Reference 58

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:55.510090Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:49.151449Z digest=sha256:803e87be6eff8868496fe268acea2e47599db7dc2731af4792c3e229e605ba86

Observation ac0cbf16-ce7c-4999-b567-948bf28c669a · outbound

This paper cites Speedgen: Enhancing code ef- ficiency through large language model-based performance optimization,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Speedgen: Enhancing code ef- ficiency through large language model-based performance optimization,

Reference 59

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:48.806654Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:48.806654Z digest=sha256:fd492972aeb889156b1b065369465614e1469d8608e2cea36e16cbe2d643e99b

Observation c0e39c43-e819-45fa-8ed3-1979f86a3393 · outbound

This paper cites Evaluation of vision language model on uml diagrams,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Evaluation of vision language model on uml diagrams,

Reference 60

Resolution
verified exact
raw_fallback, observed 2026-08-06T15:48:53.012836Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:49.435739Z digest=sha256:ee750e1877dd492ca4e34ea9c3e07783db13fd6dfefd16aca008174a968aac53

Observation 0320b4fa-3aa1-4bd2-b947-5371c8880304 · outbound

This paper cites Beyond End-to-End VLMs: Leveraging Intermediate Text Representations for Superior Flowchart Understanding.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Beyond End-to-End VLMs: Leveraging Intermediate Text Representations for Superior Flowchart Understanding

Reference 61

Resolution
verified exact
local_arxiv, observed 2026-08-06T15:48:52.671511Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:49.568986Z digest=sha256:6a577afacea0dd481b78b8bedf29f4dfeb907c1ee574aac5ccaaa5d957ccfa67

Observation 2a6b2b9b-0141-441b-8480-f1a035e11916 · outbound

This paper cites Arrow-Guided VLM: Enhancing Flowchart Understanding via Arrow Direction Encoding.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Arrow-Guided VLM: Enhancing Flowchart Understanding via Arrow Direction Encoding

Reference 62

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:49.654506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:49.654506Z digest=sha256:f16894dcc1eb1c6ee86800ec430f07cc887514303efb88da15f020c88e61319c

Observation 08a8534d-681f-43ae-ac9b-aeaabc74e318 · outbound

This paper cites Multi-modal Summarization in Model-Based Engineering: Automotive Software Development Case Study.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Multi-modal Summarization in Model-Based Engineering: Automotive Software Development Case Study

Reference 63

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:49.277484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:49.277484Z digest=sha256:1cd0ef437c1bf844a5a2609ee9e5ba90725e64df9d143ce3ef356dddc9947899

Observation f9ca77e8-f3c8-43a9-8bf7-663f91d23e29 · outbound

This paper cites CodeT5: Identifier-aware Unified Pre-trained Encoder-Decoder Models for Code Understanding and Generation.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code CodeT5: Identifier-aware Unified Pre-trained Encoder-Decoder Models for Code Understanding and Generation

Reference 64

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:49.861456Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:49.861456Z digest=sha256:05128629ca90f508c35db78001467eb01b706e80d80cce9a946860b8a53bd0b7

Observation 640dac34-1a76-4843-b400-dd9c9cd5f2d7 · outbound

This paper cites Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software

Reference 65

Resolution
verified exact
local_arxiv, observed 2026-08-06T15:48:52.344781Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:50.003922Z digest=sha256:bddeee78618decafeecb0c92c2331758c46bcf48b25c34c8f23f3500f322d395

Observation f3e17ca1-d703-4608-b508-7b89c9a857e4 · outbound

This paper cites Aegis:An Advanced LLM-Based Multi-Agent for Intelligent Functional Safety Engineering.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Aegis:An Advanced LLM-Based Multi-Agent for Intelligent Functional Safety Engineering

Reference 66

Resolution
verified exact
local_arxiv, observed 2026-08-06T15:48:52.111788Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:50.114500Z digest=sha256:2ab96b19ac69547042f731d6d2fcb94016c07d0ae15800330e9df3260aef5c3f

Observation 6b141e87-ef25-4a75-838a-3ee9059590f3 · outbound

This paper cites Chain-of-region: Visual language models need details for diagram analysis,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Chain-of-region: Visual language models need details for diagram analysis,

Reference 67

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:55.288765Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:49.755346Z digest=sha256:62260f8f1f591cb6a2edfda8d41ebb7e6a49030cf4d65984ec8a705dbb7e687a

Observation b1e6d8e6-35db-4425-8324-ae78627ab074 · outbound

This paper cites Harnessing the power of large language models for automated code generation and verification,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Harnessing the power of large language models for automated code generation and verification,

Reference 68

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:55.064391Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:50.383162Z digest=sha256:bf78078ed99413cf7ba0f6021be544e338429ea7aed409420d51d8625b5e5d73

Observation ee4c49f9-6f58-4b7c-a752-418127b8be00 · outbound

This paper cites CodeBERT: A Pre-Trained Model for Programming and Natural Languages.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code CodeBERT: A Pre-Trained Model for Programming and Natural Languages

Reference 69

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:50.521586Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:50.521586Z digest=sha256:3fad3a3f597aece34fc16248ff2c374706c62a173479abd3ae7f2c03932fa1b1

Observation fb24d86b-7cb2-44dd-8760-6b4969eb73d7 · outbound

This paper cites Startup anthropic says its new ai model can code for hours at a time,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Startup anthropic says its new ai model can code for hours at a time,

Reference 70

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:54.807451Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:50.670639Z digest=sha256:2247ee6aea5a276b8b490699c8d49da3caa907d78811e10aade52c816bf635bb

Observation 22b1c87a-6132-4b5c-a81f-488151c4097b · outbound

This paper cites On Simulation-Guided LLM-based Code Generation for Safe Autonomous Driving Software.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code On Simulation-Guided LLM-based Code Generation for Safe Autonomous Driving Software

Reference 71

Resolution
verified exact
local_arxiv, observed 2026-08-06T15:48:51.834426Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:50.235514Z digest=sha256:e5bd36e3b3396f495714b4aea6c4086e35139db7e38f2b05b6a6bf6138a6f022

Observation b6446e8b-6710-48ae-9720-d70b5f24c0b3 · outbound

This paper cites Large Language Models are Zero-Shot Reasoners.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Large Language Models are Zero-Shot Reasoners

Reference 72

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:50.931991Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:50.931991Z digest=sha256:bdd3120f8a3af6fd16916802e4cbe32ddab1993ba4070625e0778a80e030900c

Observation 514cd4b0-b4ad-41f0-999a-bb7a3d59be2a · outbound

This paper cites Chain-of-Thought Prompting Elicits Reasoning in Large Language Models.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Chain-of-Thought Prompting Elicits Reasoning in Large Language Models

Reference 75

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:50.823083Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:50.823083Z digest=sha256:e49b793f1f0515d4e21b8426a6615c8b1360d3351caadf1db11006385aa66bbc

Observation e1ba0ca2-abee-40c5-bf70-eeacd4a497de · outbound

This paper cites Available: http://dx.doi.org/10.1145/3571730.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Available: http://dx.doi.org/10.1145/3571730

Reference 2023

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:46.290973Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:46.290973Z digest=sha256:139c0dd958c29cb7ee9e31da0abf5a4ccf884055e3915907dde2634ae995a09f

Observation 5cf84750-aead-4626-9ada-7b0ecc936139 · outbound

This paper cites Available: https://doi.org/10.1007/s00766-023-00410-1.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Available: https://doi.org/10.1007/s00766-023-00410-1

Reference 2024

Resolution
verified exact
doi, observed 2026-08-06T15:48:51.381546Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T15:48:42.210905Z digest=sha256:8ff015be813931c6628ec3a7c6f5bfabc13de4953b54e6cbe175211576043ad6

Observation 22fb5feb-caf1-49c1-967f-905deeb51dd4 · outbound

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

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models

Reference 2025

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:48.641759Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:48.641759Z digest=sha256:7dca4a6eea232794f2df6d9a5cae213064114c954ddfd9c35dfc2b06952f9489

Pith citing papers

No inbound Pith citation observations are available.