Paper Citation Record · LEDGER

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety

As of 9 August 2026, this Paper Citation Record lists 46 of 46 outbound references and 0 inbound Pith citation observations for arXiv:2606.25296.

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

pith.paper-citation-record.v1
2606.25296 v1

Coverage vector

measured 46 of 46 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-25T20:29:40.439069Z

measured 46 of 46 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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

46 of 46 outbound references displayed

verified exact3
verified fuzzy0
unresolved43
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 12d58830-fbb2-4582-9cb2-95d6823d1e49 · outbound

This paper cites IEEE Draft Standard for Fault Accounting and Coverage Reporting to Digital Modules (FACR).IEEE P1804/D1.7, September 2016(2016), 1–76.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety IEEE Draft Standard for Fault Accounting and Coverage Reporting to Digital Modules (FACR).IEEE P1804/D1.7, September 2016(2016), 1–76

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0e26301-5d87-4ef4-84bb-df52dbf541d7 · outbound

This paper cites ISO 26262: Road vehicles — Functional safety.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety ISO 26262: Road vehicles — Functional safety

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d75b33b4-bedc-4446-9df8-2e6c6d4aa966 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a4a82c9-7432-4a3a-a46c-89ef4e64d715 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 201e07b7-957a-43ca-a2a2-84253145b93f · outbound

This paper cites Abramovici, B.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Abramovici, B

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f67438e-7ae7-4897-9c7c-745460a246bf · outbound

This paper cites In1988 IEEE International Test Conference (ITC).

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety In1988 IEEE International Test Conference (ITC)

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5dd50f34-16f2-4734-ba86-1bba1c9cfb4c · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7233bf43-7b9a-41bb-b2c9-95ff1f6812a8 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf454525-c8b3-4a01-8357-6f77d70590f8 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20c48f1f-4695-49ad-96df-31629553f6bc · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e8f6e4c-c90d-4020-bae8-d51b72ce5b0f · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1615293-028a-4b31-9f6f-998eea0a1875 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53e8e031-3032-4c7f-a849-4c39e2f5632b · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8cb5a840-f7d1-4dd2-b500-5e04fd847358 · outbound

This paper cites Journal of Computer Science and Technology35, 5 (2020), 1198–1216.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Journal of Computer Science and Technology35, 5 (2020), 1198–1216

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6dceb1a1-f829-4e64-9e14-3e53977cacc6 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e319b507-7018-43a2-8392-e3b0ba9b1386 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3dbbc4f9-439f-4dea-a181-8d0c9c7fdbdf · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37d300bd-ffe3-44c4-8d7f-79b213f14223 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a42ac8b2-50b0-492c-9d2c-9abfb4a41f78 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d163e54-e310-4a17-acc6-06b5312fb811 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 315d3516-a69b-44d0-92dd-129dcf1fcfb0 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5fd97a03-df10-4b1f-b940-ca0ff5ff7546 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb20a671-5983-4fc9-bcad-7ca6626bf13f · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 619f038f-763d-4420-bebf-ab7ad3d0efb7 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1bba93b1-3cb3-46d7-b504-ace7e0f1aa98 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c6e0416-a06a-47f1-b46c-b558e381976a · outbound

This paper cites From Local to Global: A Graph RAG Approach to Query-Focused Summarization.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety From Local to Global: A Graph RAG Approach to Query-Focused Summarization

Reference 26

Resolution: verified exact; local_arxiv, observed 2026-07-04T20:20:06.569617Z

Source-reported events for the cited work

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

Observation efa83d51-ae2e-49cd-b04f-9674a97b6351 · outbound

This paper cites Shift-Left DFT.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Shift-Left DFT

Reference 27

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cbffcc9-96c2-45cc-8cde-de2a6a9bd839 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21529b07-e57f-4413-8d76-5466ae9b68d1 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3bccbf1-5fee-40a7-98e8-2779a43e350c · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73729dca-a9b6-4f44-b4a2-95dcf1033ffc · outbound

This paper cites HyperGraphRAG: Retrieval-Augmented Generation with Hypergraph-Structured Knowledge Representation //.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety HyperGraphRAG: Retrieval-Augmented Generation with Hypergraph-Structured Knowledge Representation //

Reference 31

Resolution: verified exact; arxiv_id, observed 2026-07-04T20:20:06.569591Z

Source-reported events for the cited work

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

Observation b0eb1dec-cd5e-4ce6-b710-487720ef3552 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19d2cf8c-d462-45ba-a6e6-c2d12e80cee0 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e5e73f6-9638-42ad-8d7f-10c7ce095b85 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef6a8f98-7218-4c5a-a2d8-c498f785ba42 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c88711b5-5c25-4703-92ab-5cf08c2701d7 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4173c350-87d2-461d-bedc-bcf049209cd1 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 134768f3-0521-4a9b-b490-c36835b525f1 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 708af5c0-87c4-4079-84cc-98cc89509e45 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ee8861b-00fa-4c63-a2bb-1937597efb4a · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96fbb845-29a9-4840-a714-ca2c59e1881e · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e5c6ea2-b518-4b44-844d-2f75e79a48e5 · outbound

This paper cites AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction

Reference 42

Resolution: verified exact; arxiv_id, observed 2026-07-04T20:20:06.566660Z

Source-reported events for the cited work

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

Observation c9381e73-2e41-40eb-b954-c04ecdf0e173 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ec4e5cf-e3b7-4251-a09a-7997eb73cb77 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0ae275e-f98b-4d33-9c6f-a00d4cac673f · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 790067e0-3ff6-43c7-8746-8697d6a02288 · outbound

This paper cites an unresolved cited work.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-06-25T20:29:40.439069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.