{"as_of":"2026-08-15T03:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3326f6e4d4bd9e085003c80813ef114bf8a877681552d66c911198ff2c4330dc","coverage":[{"denominator":14,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":14,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T05:35:06.933874Z","state":"measured"},{"denominator":14,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":14,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+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/2509.05160/citation-record","integrity":"/paper/2509.05160/integrity","json":"/paper/2509.05160/citation-record.json","paper":"/paper/2509.05160"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:35:07.147175Z","title":null,"venue":null,"work_id":"6f6a30d6-b302-4d5b-88f1-27c7e8a71187","year":2005},"citing_paper":{"arxiv_id":"2509.05160","last_updated":"2025-09-05T14:56:18Z","snapshot_observed_at":"2026-08-11T15:43:51.674045Z","submitted_at":"2025-09-05T14:56:18Z","title":"AI-Assisted Modeling: DSL-Driven AI Interactions","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T05:35:06.881986Z"},"links":{"citing_paper":"/paper/2509.05160"},"observation_digest":"sha256:d0ceb0369114218c14a7b698c5e2d7bd81ff9351781a5c5bcb2cfd907c738581","observation_id":"33cb5833-3c9a-4f38-ab5f-98f5a43fe8e1","resolution":{"observed_at":"2026-08-05T05:35:07.150386Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:35:07.138338Z","title":null,"venue":null,"work_id":"3b75cc19-acb3-47fd-8500-d3b25d8edbd4","year":2025},"citing_paper":{"arxiv_id":"2509.05160","last_updated":"2025-09-05T14:56:18Z","snapshot_observed_at":"2026-08-11T15:43:51.674045Z","submitted_at":"2025-09-05T14:56:18Z","title":"AI-Assisted Modeling: DSL-Driven AI Interactions","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T05:35:06.886004Z"},"links":{"citing_paper":"/paper/2509.05160"},"observation_digest":"sha256:cfbfc204f8216222f71e3d8bc39eebf26192f526b435a620700930228d891461","observation_id":"882c0082-f2c8-40fa-9beb-17bd77d5bb14","resolution":{"observed_at":"2026-08-05T05:35:07.141462Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:35:07.128217Z","title":null,"venue":null,"work_id":"84539a1e-9f97-4367-81cb-ec6362504496","year":2023},"citing_paper":{"arxiv_id":"2509.05160","last_updated":"2025-09-05T14:56:18Z","snapshot_observed_at":"2026-08-11T15:43:51.674045Z","submitted_at":"2025-09-05T14:56:18Z","title":"AI-Assisted Modeling: DSL-Driven AI Interactions","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T05:35:06.889000Z"},"links":{"citing_paper":"/paper/2509.05160"},"observation_digest":"sha256:df15776af7294860efcecb05864799d9ee6ce1bdc3d6d56513cb0bd4ed2b6b64","observation_id":"be199729-91c3-453f-a521-e18424ce5e08","resolution":{"observed_at":"2026-08-05T05:35:07.132054Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:35:07.117765Z","title":null,"venue":null,"work_id":"da3c7e76-2bd8-4a42-beeb-c1eca75733eb","year":2021},"citing_paper":{"arxiv_id":"2509.05160","last_updated":"2025-09-05T14:56:18Z","snapshot_observed_at":"2026-08-11T15:43:51.674045Z","submitted_at":"2025-09-05T14:56:18Z","title":"AI-Assisted Modeling: DSL-Driven AI Interactions","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T05:35:06.892297Z"},"links":{"citing_paper":"/paper/2509.05160"},"observation_digest":"sha256:e6d8ac0a62519b9369d67a61d2cc1566698147d65322218a841fbfb6a03c372a","observation_id":"219c33cb-80c7-46f3-b1b4-6f19723d7e83","resolution":{"observed_at":"2026-08-05T05:35:07.121336Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/vlhcc","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:35:07.052095Z","title":null,"venue":null,"work_id":"1146e618-6da0-4346-9ab1-d33f93103347","year":2013},"citing_paper":{"arxiv_id":"2509.05160","last_updated":"2025-09-05T14:56:18Z","snapshot_observed_at":"2026-08-11T15:43:51.674045Z","submitted_at":"2025-09-05T14:56:18Z","title":"AI-Assisted Modeling: DSL-Driven AI Interactions","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T05:35:06.895964Z"},"links":{"citing_paper":"/paper/2509.05160"},"observation_digest":"sha256:a48dbda8d5acb5be2e1edff108f51fcc2d0ef8961d5384b21e6376d39a4af966","observation_id":"24cd9bce-6366-47d1-9d11-f4a0457e59da","resolution":{"observed_at":"2026-08-05T05:35:07.055953Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:35:07.107816Z","title":null,"venue":null,"work_id":"b2c5d8d7-16a8-463d-b4e1-397b6e75ab6b","year":null},"citing_paper":{"arxiv_id":"2509.05160","last_updated":"2025-09-05T14:56:18Z","snapshot_observed_at":"2026-08-11T15:43:51.674045Z","submitted_at":"2025-09-05T14:56:18Z","title":"AI-Assisted Modeling: DSL-Driven AI Interactions","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T05:35:06.908226Z"},"links":{"citing_paper":"/paper/2509.05160"},"observation_digest":"sha256:651ab7e083bc7a31c98903054649f13ba99a9505092f5631650bd796cd738c53","observation_id":"e928323a-7318-4815-abec-d7893d4dce13","resolution":{"observed_at":"2026-08-05T05:35:07.110833Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:35:07.088751Z","title":null,"venue":null,"work_id":"49267cae-c1e2-4d43-9d50-90e601a48dc8","year":2023},"citing_paper":{"arxiv_id":"2509.05160","last_updated":"2025-09-05T14:56:18Z","snapshot_observed_at":"2026-08-11T15:43:51.674045Z","submitted_at":"2025-09-05T14:56:18Z","title":"AI-Assisted Modeling: DSL-Driven AI Interactions","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T05:35:06.913582Z"},"links":{"citing_paper":"/paper/2509.05160"},"observation_digest":"sha256:47b5d2eb978cea58cc5735eb46f8c72c70987894b5e0589f74b3d298f3dc4eca","observation_id":"78b8ed74-86b5-4831-9547-74b238338b69","resolution":{"observed_at":"2026-08-05T05:35:07.091999Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:35:07.078758Z","title":null,"venue":null,"work_id":"e1c60685-d389-474e-b36a-079479d7f5b0","year":2011},"citing_paper":{"arxiv_id":"2509.05160","last_updated":"2025-09-05T14:56:18Z","snapshot_observed_at":"2026-08-11T15:43:51.674045Z","submitted_at":"2025-09-05T14:56:18Z","title":"AI-Assisted Modeling: DSL-Driven AI Interactions","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T05:35:06.916101Z"},"links":{"citing_paper":"/paper/2509.05160"},"observation_digest":"sha256:98b4743817b6da54e5e199637186b972e0945a32222cecc5a5299d63dc6b8055","observation_id":"2f870b1b-b313-47df-8627-1e3723f32525","resolution":{"observed_at":"2026-08-05T05:35:07.081980Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2304.11938","last_updated":"2023-08-31T09:02:16Z","snapshot_observed_at":"2026-08-13T11:57:02.265142Z","submitted_at":"2023-04-24T09:20:13Z","title":"Is ChatGPT the Ultimate Programming Assistant -- How far is it?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.11938","snapshot_observed_at":"2026-08-05T05:35:06.920972Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.05160","last_updated":"2025-09-05T14:56:18Z","snapshot_observed_at":"2026-08-11T15:43:51.674045Z","submitted_at":"2025-09-05T14:56:18Z","title":"AI-Assisted Modeling: DSL-Driven AI Interactions","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T05:35:06.920972Z"},"links":{"cited_paper":"/paper/2304.11938","citing_paper":"/paper/2509.05160"},"observation_digest":"sha256:7f235fb4ca53634c8af91fdca3afc08b333377e5c24b3b7e1af4e262d227e46c","observation_id":"47f80923-1318-427e-b9c9-c43ebc6b3aec","resolution":{"observed_at":"2026-08-05T05:35:06.920972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.14752","last_updated":"2024-06-27T18:40:19Z","snapshot_observed_at":"2026-08-13T11:34:52.986761Z","submitted_at":"2023-05-24T05:54:10Z","title":"A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification","version":2},"cited_work":{"arxiv_id":"2305.14752","doi":null,"metadata_source":"pith","pith_arxiv_id":"2305.14752","snapshot_observed_at":"2026-08-05T05:35:06.968744Z","title":"A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification","venue":"cs.SE","work_id":"7110f2aa-9d44-40e1-8f0c-96ef624f42f3","year":2023},"citing_paper":{"arxiv_id":"2509.05160","last_updated":"2025-09-05T14:56:18Z","snapshot_observed_at":"2026-08-11T15:43:51.674045Z","submitted_at":"2025-09-05T14:56:18Z","title":"AI-Assisted Modeling: DSL-Driven AI Interactions","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T05:35:06.927614Z"},"links":{"cited_paper":"/paper/2305.14752","citing_paper":"/paper/2509.05160"},"observation_digest":"sha256:c9e6f8fef9ca53bc7310c74433edfcca6e8d8891ce7a58ddca86f466f61b774c","observation_id":"149e91ff-fc28-4485-88e4-04b43d8e9eff","resolution":{"observed_at":"2026-08-05T05:35:06.972872Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:35:07.068918Z","title":null,"venue":null,"work_id":"45f8ac89-5344-4b26-8c45-aa20bb666d89","year":2014},"citing_paper":{"arxiv_id":"2509.05160","last_updated":"2025-09-05T14:56:18Z","snapshot_observed_at":"2026-08-11T15:43:51.674045Z","submitted_at":"2025-09-05T14:56:18Z","title":"AI-Assisted Modeling: DSL-Driven AI Interactions","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T05:35:06.930972Z"},"links":{"citing_paper":"/paper/2509.05160"},"observation_digest":"sha256:70ccc699d044096a4a3294a22740397342b3697ccce4be0cc071eac37455593d","observation_id":"a95ad80e-e886-44e5-9024-65a654cb8e5c","resolution":{"observed_at":"2026-08-05T05:35:07.071985Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:35:06.933874Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.05160","last_updated":"2025-09-05T14:56:18Z","snapshot_observed_at":"2026-08-11T15:43:51.674045Z","submitted_at":"2025-09-05T14:56:18Z","title":"AI-Assisted Modeling: DSL-Driven AI Interactions","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T05:35:06.933874Z"},"links":{"citing_paper":"/paper/2509.05160"},"observation_digest":"sha256:da84f951f843f3f8ebed966f95197b579c0fa7d3ba183992bdecfd9193591095","observation_id":"2a1136fd-c54f-4420-a18f-a3fd564cc730","resolution":{"observed_at":"2026-08-05T05:35:06.933874Z","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":"10.14279/tuj.eceasst.78.1098","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"InProceedings of the 8th Interna- tional Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018) (LNCS, Vol","venue":"Technische Universität Berlin – Universitätsbibliothek","work_id":"5870d696-b512-47cc-8ad2-791a3e035976","year":2018},"citing_paper":{"arxiv_id":"2509.05160","last_updated":"2025-09-05T14:56:18Z","snapshot_observed_at":"2026-08-11T15:43:51.674045Z","submitted_at":"2025-09-05T14:56:18Z","title":"AI-Assisted Modeling: DSL-Driven AI Interactions","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-05T05:35:06.903763Z"},"links":{"citing_paper":"/paper/2509.05160"},"observation_digest":"sha256:3f4efd639212e12494ed1074fbfb4644640780e1d197607fb18f7b8e310461cf","observation_id":"b1449bdb-6162-4c47-beaa-0b5cce802e6d","resolution":{"observed_at":"2026-08-05T05:35:06.959397Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T05:35:07.098598Z","title":null,"venue":null,"work_id":"f3a1cf3d-4229-4248-bb21-45dcab6affbc","year":2019},"citing_paper":{"arxiv_id":"2509.05160","last_updated":"2025-09-05T14:56:18Z","snapshot_observed_at":"2026-08-11T15:43:51.674045Z","submitted_at":"2025-09-05T14:56:18Z","title":"AI-Assisted Modeling: DSL-Driven AI Interactions","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-05T05:35:06.910874Z"},"links":{"citing_paper":"/paper/2509.05160"},"observation_digest":"sha256:cd7ec3c4357464213f104dc08dcfced187cf787f5d61bc35548da2328b87486d","observation_id":"9c8b9255-5979-4d42-96e1-310790869f3c","resolution":{"observed_at":"2026-08-05T05:35:07.101762Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2509.05160","last_updated":"2025-09-05T14:56:18Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-11T15:43:51.674045Z","submitted_at":"2025-09-05T14:56:18Z","title":"AI-Assisted Modeling: DSL-Driven AI Interactions"},"reference_resolution":{"displayed":14,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":11,"verified_exact":2,"verified_fuzzy":0},"total_outbound_references":14},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:2509.05160."}