{"as_of":"2026-08-08T03:35:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:38271814490bf99090c8ccd19ac3e60fbe98173771d5ef2c5bb838b6f26bf559","coverage":[{"denominator":13,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":13,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T22:34:18.597020Z","state":"measured"},{"denominator":13,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":13,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.15718/citation-record","integrity":"/paper/2607.15718/integrity","json":"/paper/2607.15718/citation-record.json","paper":"/paper/2607.15718"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:34:17.858122Z","title":"Automatic transforma- tion of natural to unified modeling language: A systematic review","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.15718","last_updated":"2026-07-17T07:55:00Z","snapshot_observed_at":"2026-08-03T22:14:01.970610Z","submitted_at":"2026-07-17T07:55:00Z","title":"Verified LLM-Driven Synthesis for Concept Design","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T22:34:17.858122Z"},"links":{"citing_paper":"/paper/2607.15718"},"observation_digest":"sha256:6a60ca133f5275c8f1df61895fbb24d8231da7eaa4cd272df2af0467883e2440","observation_id":"3df9ab1a-97ad-422c-adae-e57195a2ee70","resolution":{"observed_at":"2026-08-01T22:34:17.858122Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:34:18.306071Z","title":"Lightweight specification and analysis of dynamic systems with rich configurations","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.15718","last_updated":"2026-07-17T07:55:00Z","snapshot_observed_at":"2026-08-03T22:14:01.970610Z","submitted_at":"2026-07-17T07:55:00Z","title":"Verified LLM-Driven Synthesis for Concept Design","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T22:34:18.306071Z"},"links":{"citing_paper":"/paper/2607.15718"},"observation_digest":"sha256:8b89cdbff5f73e1e6b37efd146856df0038cf5e9cbab307bbb502b0177343f7c","observation_id":"c2208d67-ef11-401c-be08-c0615316c346","resolution":{"observed_at":"2026-08-01T22:34:18.306071Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.11051","last_updated":"2026-06-09T16:16:11Z","snapshot_observed_at":"2026-07-06T23:50:11.160843Z","submitted_at":"2026-06-09T16:16:11Z","title":"Making Software Meaningful","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.11051","snapshot_observed_at":"2026-08-01T22:34:18.395159Z","title":"26 [MNS+26] Eagon Meng, Abutalib Namazov, Carmel Schare, Alcino Cunha, and Daniel Jackson","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15718","last_updated":"2026-07-17T07:55:00Z","snapshot_observed_at":"2026-08-03T22:14:01.970610Z","submitted_at":"2026-07-17T07:55:00Z","title":"Verified LLM-Driven Synthesis for Concept Design","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T22:34:18.395159Z"},"links":{"cited_paper":"/paper/2606.11051","citing_paper":"/paper/2607.15718"},"observation_digest":"sha256:5cddb2f836debe0eb4ea2f04a131696363656e1d4c3a56e0d93016a5056fe75e","observation_id":"531b4b95-5123-4fd9-9cc7-9501b611c710","resolution":{"observed_at":"2026-08-01T22:34:18.395159Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.16142","last_updated":"2026-05-18T14:26:59Z","snapshot_observed_at":"2026-07-06T23:27:20.429737Z","submitted_at":"2026-05-15T16:23:35Z","title":"Property-Guided LLM Program Synthesis for Planning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.16142","snapshot_observed_at":"2026-08-01T22:34:18.444913Z","title":"Property-guided llm program synthesis for planning.arXiv preprint arXiv:2605.16142,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15718","last_updated":"2026-07-17T07:55:00Z","snapshot_observed_at":"2026-08-03T22:14:01.970610Z","submitted_at":"2026-07-17T07:55:00Z","title":"Verified LLM-Driven Synthesis for Concept Design","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T22:34:18.444913Z"},"links":{"cited_paper":"/paper/2605.16142","citing_paper":"/paper/2607.15718"},"observation_digest":"sha256:863d567f454f978a1b67656cfa616b9e1428939122b4dd37ea6ec6f78c33ed2f","observation_id":"69d58909-121b-483f-8482-3d033d542863","resolution":{"observed_at":"2026-08-01T22:34:18.444913Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:34:18.597020Z","title":"Concept- centric software development: An experience report","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15718","last_updated":"2026-07-17T07:55:00Z","snapshot_observed_at":"2026-08-03T22:14:01.970610Z","submitted_at":"2026-07-17T07:55:00Z","title":"Verified LLM-Driven Synthesis for Concept Design","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T22:34:18.597020Z"},"links":{"citing_paper":"/paper/2607.15718"},"observation_digest":"sha256:1c78a06babc2b795f87c116f101241e1e4aacf2f9602fece3af004d57598ee80","observation_id":"a5beaeba-ed5f-4162-8118-96e6d16fc6d2","resolution":{"observed_at":"2026-08-01T22:34:18.597020Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-01T22:34:18.063065Z","title":"Evaluating large language models trained on code.arXiv preprint arXiv:2107.03374,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15718","last_updated":"2026-07-17T07:55:00Z","snapshot_observed_at":"2026-08-03T22:14:01.970610Z","submitted_at":"2026-07-17T07:55:00Z","title":"Verified LLM-Driven Synthesis for Concept Design","version":1},"reference_index":2000,"source":"pdf_text","source_observed_at":"2026-08-01T22:34:18.063065Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2607.15718"},"observation_digest":"sha256:d3d7222a6161125a36d72102217f21a3536c1d5add3b8b4a1c1da5d56a32df51","observation_id":"34ac3ebd-a801-4808-ab50-8272901925d5","resolution":{"observed_at":"2026-08-01T22:34:18.063065Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23486","last_updated":"2025-07-03T06:03:07Z","snapshot_observed_at":"2026-08-07T12:42:44.667182Z","submitted_at":"2025-05-29T14:34:54Z","title":"Autoformalization in the Era of Large Language Models: A Survey","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.23486","snapshot_observed_at":"2026-08-01T22:34:18.536624Z","title":"Autoformalization in the era of large language models: A survey.arXiv preprint arXiv:2505.23486,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15718","last_updated":"2026-07-17T07:55:00Z","snapshot_observed_at":"2026-08-03T22:14:01.970610Z","submitted_at":"2026-07-17T07:55:00Z","title":"Verified LLM-Driven Synthesis for Concept Design","version":1},"reference_index":2003,"source":"pdf_text","source_observed_at":"2026-08-01T22:34:18.536624Z"},"links":{"cited_paper":"/paper/2505.23486","citing_paper":"/paper/2607.15718"},"observation_digest":"sha256:966cbfe7c53fec8dce53bd1b78e9ddfe646d9e810f8835258f10f3a633db922f","observation_id":"0e436900-74f2-4303-8df4-ae335c801c48","resolution":{"observed_at":"2026-08-01T22:34:18.536624Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2108.07732","last_updated":"2021-08-16T03:57:30Z","snapshot_observed_at":"2026-08-02T19:23:53.535075Z","submitted_at":"2021-08-16T03:57:30Z","title":"Program Synthesis with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2108.07732","snapshot_observed_at":"2026-08-01T22:34:17.948109Z","title":"Program synthesis with large language models.arXiv preprint arXiv:2108.07732,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15718","last_updated":"2026-07-17T07:55:00Z","snapshot_observed_at":"2026-08-03T22:14:01.970610Z","submitted_at":"2026-07-17T07:55:00Z","title":"Verified LLM-Driven Synthesis for Concept Design","version":1},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-01T22:34:17.948109Z"},"links":{"cited_paper":"/paper/2108.07732","citing_paper":"/paper/2607.15718"},"observation_digest":"sha256:b03a88ac2549a03c914c9a8a26d7f5b1f3ca6c5726ca26b3ed8ea19661128fb3","observation_id":"5683344d-9b01-4bc0-aeca-bff99ef513a1","resolution":{"observed_at":"2026-08-01T22:34:17.948109Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:34:18.354302Z","title":"What you see is what it does: A struc- tural pattern for legible software","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.15718","last_updated":"2026-07-17T07:55:00Z","snapshot_observed_at":"2026-08-03T22:14:01.970610Z","submitted_at":"2026-07-17T07:55:00Z","title":"Verified LLM-Driven Synthesis for Concept Design","version":1},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-01T22:34:18.354302Z"},"links":{"citing_paper":"/paper/2607.15718"},"observation_digest":"sha256:490bc28d92c6f81859d9e7a0e9cee8fb78d7ab6dfb6236b0913697320c65fed4","observation_id":"188125f7-26e5-4bbb-ba3c-a71ad7d67150","resolution":{"observed_at":"2026-08-01T22:34:18.354302Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:34:18.158837Z","title":"Be- yond dark patterns: A concept-based framework for ethical software de- sign","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15718","last_updated":"2026-07-17T07:55:00Z","snapshot_observed_at":"2026-08-03T22:14:01.970610Z","submitted_at":"2026-07-17T07:55:00Z","title":"Verified LLM-Driven Synthesis for Concept Design","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-01T22:34:18.158837Z"},"links":{"citing_paper":"/paper/2607.15718"},"observation_digest":"sha256:fe1497575f235f34405934c131161a516422047f58386c3f88c6fd7a785b11d6","observation_id":"a7d09f3d-b4b4-44ba-b80c-ca7ef44e88ff","resolution":{"observed_at":"2026-08-01T22:34:18.158837Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2511.22409","last_updated":"2026-05-01T10:52:04Z","snapshot_observed_at":"2026-08-03T04:09:35.312228Z","submitted_at":"2025-11-27T12:36:25Z","title":"NOMAD: A Multi-Agent LLM System for UML Class Diagram Generation from Natural Language Requirements","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2511.22409","snapshot_observed_at":"2026-08-01T22:34:18.217990Z","title":"NOMAD: A multi-agent LLM system for UML class diagram generation from natural language re- quirements.arXiv preprint arXiv:2511.22409,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15718","last_updated":"2026-07-17T07:55:00Z","snapshot_observed_at":"2026-08-03T22:14:01.970610Z","submitted_at":"2026-07-17T07:55:00Z","title":"Verified LLM-Driven Synthesis for Concept Design","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-01T22:34:18.217990Z"},"links":{"cited_paper":"/paper/2511.22409","citing_paper":"/paper/2607.15718"},"observation_digest":"sha256:136ad86be9ac5f19910f30f4a433209b89933ec7184ab7db168484ab5342020a","observation_id":"ed0d99e2-be7d-4075-aa01-1c1848977eb9","resolution":{"observed_at":"2026-08-01T22:34:18.217990Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.15441","last_updated":"2025-02-21T13:09:58Z","snapshot_observed_at":"2026-08-07T17:58:46.702093Z","submitted_at":"2025-02-21T13:09:58Z","title":"On the Effectiveness of Large Language Models in Writing Alloy Formulas","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.15441","snapshot_observed_at":"2026-08-01T22:34:18.263340Z","title":"On the effective- ness of large language models in writing Alloy formulas.arXiv preprint arXiv:2502.15441,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15718","last_updated":"2026-07-17T07:55:00Z","snapshot_observed_at":"2026-08-03T22:14:01.970610Z","submitted_at":"2026-07-17T07:55:00Z","title":"Verified LLM-Driven Synthesis for Concept Design","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-01T22:34:18.263340Z"},"links":{"cited_paper":"/paper/2502.15441","citing_paper":"/paper/2607.15718"},"observation_digest":"sha256:2c497878a8d4ff34f6ba31107e157735225b562a566d6e77d3e81151a7ae5049","observation_id":"ba21a431-36cd-479c-bc27-6280adc2d801","resolution":{"observed_at":"2026-08-01T22:34:18.263340Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.16697","last_updated":"2025-05-22T14:00:29Z","snapshot_observed_at":"2026-08-07T14:54:28.434749Z","submitted_at":"2025-05-22T14:00:29Z","title":"Software Architecture Meets LLMs: A Systematic Literature Review","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.16697","snapshot_observed_at":"2026-08-01T22:34:18.491501Z","title":"Software ar- chitecture meets LLMs: A systematic literature review.arXiv preprint arXiv:2505.16697,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15718","last_updated":"2026-07-17T07:55:00Z","snapshot_observed_at":"2026-08-03T22:14:01.970610Z","submitted_at":"2026-07-17T07:55:00Z","title":"Verified LLM-Driven Synthesis for Concept Design","version":1},"reference_index":2026,"source":"pdf_text","source_observed_at":"2026-08-01T22:34:18.491501Z"},"links":{"cited_paper":"/paper/2505.16697","citing_paper":"/paper/2607.15718"},"observation_digest":"sha256:10d76d338d16157e8eff5cc2c58b45daf661db9d8ccfdf2cfb157536f875a851","observation_id":"ed796ade-2ef8-4d97-be29-679728759095","resolution":{"observed_at":"2026-08-01T22:34:18.491501Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.15718","last_updated":"2026-07-17T07:55:00Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-03T22:14:01.970610Z","submitted_at":"2026-07-17T07:55:00Z","title":"Verified LLM-Driven Synthesis for Concept Design"},"reference_resolution":{"displayed":13,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":13,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":13},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"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."}