Paper Citation Record · LEDGER

Verified LLM-Driven Synthesis for Concept Design

As of 8 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 0 inbound Pith citation observations for arXiv:2607.15718.

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

pith.paper-citation-record.v1
2607.15718 v1

Coverage vector

measured 13 of 13 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T22:34:18.597020Z

measured 13 of 13 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+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

13 of 13 outbound references displayed

verified exact0
verified fuzzy0
unresolved13
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 3df9ab1a-97ad-422c-adae-e57195a2ee70 · outbound

This paper cites Automatic transforma- tion of natural to unified modeling language: A systematic review.

Verified LLM-Driven Synthesis for Concept Design Automatic transforma- tion of natural to unified modeling language: A systematic review

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T22:34:17.858122Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2208d67-ef11-401c-be08-c0615316c346 · outbound

This paper cites Lightweight specification and analysis of dynamic systems with rich configurations.

Verified LLM-Driven Synthesis for Concept Design Lightweight specification and analysis of dynamic systems with rich configurations

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T22:34:18.306071Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 531b4b95-5123-4fd9-9cc7-9501b611c710 · outbound

This paper cites Making Software Meaningful.

Verified LLM-Driven Synthesis for Concept Design Making Software Meaningful

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T22:34:18.395159Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69d58909-121b-483f-8482-3d033d542863 · outbound

This paper cites Property-Guided LLM Program Synthesis for Planning.

Verified LLM-Driven Synthesis for Concept Design Property-Guided LLM Program Synthesis for Planning

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T22:34:18.444913Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5beaeba-ed5f-4162-8118-96e6d16fc6d2 · outbound

This paper cites Concept- centric software development: An experience report.

Verified LLM-Driven Synthesis for Concept Design Concept- centric software development: An experience report

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T22:34:18.597020Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34ac3ebd-a801-4808-ab50-8272901925d5 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Verified LLM-Driven Synthesis for Concept Design Evaluating Large Language Models Trained on Code

Reference 2000

Resolution: unresolved; no resolver link, observed 2026-08-01T22:34:18.063065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e436900-74f2-4303-8df4-ae335c801c48 · outbound

This paper cites Autoformalization in the Era of Large Language Models: A Survey.

Verified LLM-Driven Synthesis for Concept Design Autoformalization in the Era of Large Language Models: A Survey

Reference 2003

Resolution: unresolved; no resolver link, observed 2026-08-01T22:34:18.536624Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5683344d-9b01-4bc0-aeca-bff99ef513a1 · outbound

This paper cites Program Synthesis with Large Language Models.

Verified LLM-Driven Synthesis for Concept Design Program Synthesis with Large Language Models

Reference 2014

Resolution: unresolved; no resolver link, observed 2026-08-01T22:34:17.948109Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 188125f7-26e5-4bbb-ba3c-a71ad7d67150 · outbound

This paper cites What you see is what it does: A struc- tural pattern for legible software.

Verified LLM-Driven Synthesis for Concept Design What you see is what it does: A struc- tural pattern for legible software

Reference 2016

Resolution: unresolved; no resolver link, observed 2026-08-01T22:34:18.354302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7d09f3d-b4b4-44ba-b80c-ca7ef44e88ff · outbound

This paper cites Be- yond dark patterns: A concept-based framework for ethical software de- sign.

Verified LLM-Driven Synthesis for Concept Design Be- yond dark patterns: A concept-based framework for ethical software de- sign

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-01T22:34:18.158837Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed0d99e2-be7d-4075-aa01-1c1848977eb9 · outbound

This paper cites NOMAD: A Multi-Agent LLM System for UML Class Diagram Generation from Natural Language Requirements.

Verified LLM-Driven Synthesis for Concept Design NOMAD: A Multi-Agent LLM System for UML Class Diagram Generation from Natural Language Requirements

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-01T22:34:18.217990Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba21a431-36cd-479c-bc27-6280adc2d801 · outbound

This paper cites On the Effectiveness of Large Language Models in Writing Alloy Formulas.

Verified LLM-Driven Synthesis for Concept Design On the Effectiveness of Large Language Models in Writing Alloy Formulas

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-01T22:34:18.263340Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed796ade-2ef8-4d97-be29-679728759095 · outbound

This paper cites Software Architecture Meets LLMs: A Systematic Literature Review.

Verified LLM-Driven Synthesis for Concept Design Software Architecture Meets LLMs: A Systematic Literature Review

Reference 2026

Resolution: unresolved; no resolver link, observed 2026-08-01T22:34:18.491501Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.