Paper Citation Record · LEDGER

AI-Assisted Modeling: DSL-Driven AI Interactions

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

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

pith.paper-citation-record.v1
2509.05160 v1

Coverage vector

measured 14 of 14 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T05:35:06.933874Z

measured 14 of 14 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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

14 of 14 outbound references displayed

verified exact2
verified fuzzy0
unresolved11
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 33cb5833-3c9a-4f38-ab5f-98f5a43fe8e1 · outbound

This paper cites an unresolved cited work.

AI-Assisted Modeling: DSL-Driven AI Interactions Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-05T05:35:07.150386Z

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 882c0082-f2c8-40fa-9beb-17bd77d5bb14 · outbound

This paper cites an unresolved cited work.

AI-Assisted Modeling: DSL-Driven AI Interactions Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-05T05:35:07.141462Z

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 be199729-91c3-453f-a521-e18424ce5e08 · outbound

This paper cites an unresolved cited work.

AI-Assisted Modeling: DSL-Driven AI Interactions Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-05T05:35:07.132054Z

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 219c33cb-80c7-46f3-b1b4-6f19723d7e83 · outbound

This paper cites an unresolved cited work.

AI-Assisted Modeling: DSL-Driven AI Interactions Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-05T05:35:07.121336Z

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 24cd9bce-6366-47d1-9d11-f4a0457e59da · outbound

This paper cites an unresolved cited work.

AI-Assisted Modeling: DSL-Driven AI Interactions Unresolved cited work

Reference 5

Resolution: malformed identifier; doi_truncated, observed 2026-08-05T05:35:07.055953Z

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 e928323a-7318-4815-abec-d7893d4dce13 · outbound

This paper cites an unresolved cited work.

AI-Assisted Modeling: DSL-Driven AI Interactions Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-05T05:35:07.110833Z

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 78b8ed74-86b5-4831-9547-74b238338b69 · outbound

This paper cites an unresolved cited work.

AI-Assisted Modeling: DSL-Driven AI Interactions Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-05T05:35:07.091999Z

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 2f870b1b-b313-47df-8627-1e3723f32525 · outbound

This paper cites an unresolved cited work.

AI-Assisted Modeling: DSL-Driven AI Interactions Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-05T05:35:07.081980Z

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 47f80923-1318-427e-b9c9-c43ebc6b3aec · outbound

This paper cites Is ChatGPT the Ultimate Programming Assistant -- How far is it?.

AI-Assisted Modeling: DSL-Driven AI Interactions Is ChatGPT the Ultimate Programming Assistant -- How far is it?

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-05T05:35:06.920972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 149e91ff-fc28-4485-88e4-04b43d8e9eff · outbound

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

AI-Assisted Modeling: DSL-Driven AI Interactions A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

Reference 11

Resolution: verified exact; local_arxiv, observed 2026-08-05T05:35:06.972872Z

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 a95ad80e-e886-44e5-9024-65a654cb8e5c · outbound

This paper cites an unresolved cited work.

AI-Assisted Modeling: DSL-Driven AI Interactions Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-05T05:35:07.071985Z

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 2a1136fd-c54f-4420-a18f-a3fd564cc730 · outbound

This paper cites an unresolved cited work.

AI-Assisted Modeling: DSL-Driven AI Interactions Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-05T05:35:06.933874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1449bdb-6162-4c47-beaa-0b5cce802e6d · outbound

This paper cites InProceedings of the 8th Interna- tional Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018) (LNCS, Vol.

AI-Assisted Modeling: DSL-Driven AI Interactions InProceedings of the 8th Interna- tional Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018) (LNCS, Vol

Reference 2018

Resolution: verified exact; doi, observed 2026-08-05T05:35:06.959397Z

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 9c8b9255-5979-4d42-96e1-310790869f3c · outbound

This paper cites an unresolved cited work.

AI-Assisted Modeling: DSL-Driven AI Interactions Unresolved cited work

Reference 2019

Resolution: unresolved; raw_fallback, observed 2026-08-05T05:35:07.101762Z

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.

Pith citing papers

No inbound Pith citation observations are available.