{"as_of":"2026-08-08T17:54:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c10f03b2c3c1206d44ddbbc682c2febdbbe0796e5c0069f31b9857a1a1950448","coverage":[{"denominator":64,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":64,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T05:33:00.425717Z","state":"measured"},{"denominator":64,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":64,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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.14162/citation-record","integrity":"/paper/2607.14162/integrity","json":"/paper/2607.14162/citation-record.json","paper":"/paper/2607.14162"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T05:32:53.127614Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:53.127614Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:7960a69f28a484bd1240eadf8a5cbfa71ae2e4b2e39e3f04e5e5168d179369ca","observation_id":"a71940ab-bff7-498b-8aed-e436461553c2","resolution":{"observed_at":"2026-08-02T05:32:53.127614Z","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-02T05:32:53.373551Z","title":"Madni and Michael Sievers","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:53.373551Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:bf6a44d76fee7437b308425cf6f9b70b636ebc08b36fa9383454f3c5b518f350","observation_id":"900cccd2-901a-46ed-ab46-9950d05044f0","resolution":{"observed_at":"2026-08-02T05:32:53.373551Z","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-02T05:32:53.561751Z","title":"Systems engineering vision 2035: Engineering solutions for a better world","venue":null,"work_id":null,"year":2035},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:53.561751Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:6e11b8b765d444584fb82f57a29d99fd7fb4e722cf2ead7686354c88d608e449","observation_id":"0c77dd95-6343-4577-bcc2-018f2c5aaba6","resolution":{"observed_at":"2026-08-02T05:32:53.561751Z","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-02T05:32:53.738908Z","title":"OMG Systems Modeling Language (SysML)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:53.738908Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:306c5183ef9a744c22b1a7c92e15ef8a5ae658cdd45585d8bc38eb7058002a34","observation_id":"13c79612-da00-4023-ab11-f3f2f34b263f","resolution":{"observed_at":"2026-08-02T05:32:53.738908Z","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-02T05:32:53.866276Z","title":"Value and benefits of model-based systems engineering (mbse): Evidence from the literature.Systems Engineering, 24(1):51–66, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:53.866276Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:e9150436472e9465e7285fec1255fc6b8c65a91ccc53f49dd338be6532734fe3","observation_id":"64b336b0-dbb4-40d1-8045-eff2ca8acf49","resolution":{"observed_at":"2026-08-02T05:32:53.866276Z","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-02T05:32:54.019295Z","title":"Campo, Thomas Teper, Casey E","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:54.019295Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:58910c230e19dfb19b10efc46ee3c9dd3783b2d2bc9dc76df8bf504b2164ce28","observation_id":"487a4de7-e1b6-423c-9fc6-9572bab9870c","resolution":{"observed_at":"2026-08-02T05:32:54.019295Z","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-02T05:32:54.211227Z","title":"Ai4se and se4ai: A research roadmap.Insight, 23(1):8–14, 2020","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:54.211227Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:298458c1892c73bd792407d08a2c10590b5b6f218bdab66976d3954c80b76b7e","observation_id":"951391d5-7a8d-4dc4-a837-7ec1e82463cc","resolution":{"observed_at":"2026-08-02T05:32:54.211227Z","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.1007/978-3-031-62554-1_23","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Conference on systems engineering research series","work_id":"440433b9-445f-4a4e-8e61-578252c95ff7","year":2024},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:54.282333Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:265cb58859759f511a9a446c64bbe707615221363501bfee8064eed1ab3f8e3b","observation_id":"6183cd64-83e2-41a7-8258-8203d473b4fe","resolution":{"observed_at":"2026-08-02T05:33:22.476634Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-02T05:32:54.363534Z","title":"The impact of ai on developer productivity: Evidence from github copilot, February 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:54.363534Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:944c72337c5183a81ee81ac095aeaac1492f2b3689cbb275d2133adbae133e25","observation_id":"c084beb9-932b-4f13-af73-da59bf5e8362","resolution":{"observed_at":"2026-08-02T05:32:54.363534Z","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-02T05:32:54.404328Z","title":"The effects of generative ai on high-skilled work: Evidence from three field experiments with software devel- opers.Working Paper, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:54.404328Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:4490a58be7f2d6e4aeb79a8ecc234b6414e35c54ac0601cd98d198d39574a066","observation_id":"df20b7dc-e936-4c05-b2ed-3d6849317005","resolution":{"observed_at":"2026-08-02T05:32:54.404328Z","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-02T05:32:54.428287Z","title":"The productivity effects of generative ai: Evidence from a field experiment with github copilot, March 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:54.428287Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:e84f4a2a7797339477090f49a2c2b04e08311c3ca0ad2d954571b94bc583bb3d","observation_id":"34989a75-ec3e-4570-a02c-519775a3cdc8","resolution":{"observed_at":"2026-08-02T05:32:54.428287Z","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-02T05:32:54.536714Z","title":"Systemp: A multi-agent system for template-based generation of sysml v2, June 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:54.536714Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:9e86db87da16cf4506d4c2723c9c0f5bbf2aa067885e10873164a06c84df970f","observation_id":"d56a1f05-c824-451d-b284-285882a553b8","resolution":{"observed_at":"2026-08-02T05:32:54.536714Z","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-02T05:32:54.691021Z","title":"An agent-based approach for the automatic generation of valid sysmlv2 models in industrial contexts.Computers in Industry, 172:104350, November 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:54.691021Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:7605f091fdb2b2ad2dcd2a4eaad38455ca928fb935f83e3531bba7a5850231d0","observation_id":"740e1bb0-21dc-463c-9caf-b4e3c4b20089","resolution":{"observed_at":"2026-08-02T05:32:54.691021Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2508.03215","last_updated":"2025-08-05T08:45:19Z","snapshot_observed_at":"2026-08-06T04:36:20.922135Z","submitted_at":"2025-08-05T08:45:19Z","title":"A System Model Generation Benchmark from Natural Language Requirements","version":1},"cited_work":{"arxiv_id":"2508.03215","doi":"10.48550/arxiv.2508.03215","metadata_source":"pith","pith_arxiv_id":"2508.03215","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"A System Model Generation Benchmark from Natural Language Requirements","venue":"cs.SE","work_id":"ca922c23-578a-435d-a864-4f24e50fbc98","year":2025},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:54.751836Z"},"links":{"cited_paper":"/paper/2508.03215","citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:dc2d3dbe06f9775548b62aab18ef64d721df05c0d17f530499498a5d73f05d70","observation_id":"2e0dfc95-1fc5-4b92-a279-167f17a3a386","resolution":{"observed_at":"2026-08-02T05:33:22.245434Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-02T05:32:54.883762Z","title":"Natural-language-to-sysmlv2- translation-via-conformance-driven-iterative-refinement","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:54.883762Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:1d537b6238504f3ee4fed50841d3c757b0a85c1955b0a466876755ce24018826","observation_id":"412f6946-400e-4942-b397-e9e122bf66db","resolution":{"observed_at":"2026-08-02T05:32:54.883762Z","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-02T05:32:54.994189Z","title":"DoD Digital Engineering Strategy","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:54.994189Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:fb32898cdd08606837b7e21ce2cabb493b872cf600d69a2f18028d97e927cd25","observation_id":"749a9944-a56a-42d7-a9cc-5f95edbe1257","resolution":{"observed_at":"2026-08-02T05:32:54.994189Z","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-02T05:32:55.105055Z","title":"DoD Instruction 5000.89: Test and Evaluation","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:55.105055Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:218546ef428c176b9fec74805da7667732a44eb8e20e8550a8ffb688d5fff59c","observation_id":"8e0ae2cb-cf4f-4912-a385-8cf9d7c0617c","resolution":{"observed_at":"2026-08-02T05:32:55.105055Z","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-02T05:32:55.183674Z","title":"Digital engineering transformation across the Department of Defense.The Journal of Defense Modeling and Simulation, 16(4):325–338, 2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:55.183674Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:30ec961d12112dec7760e2f852cf59b907ffe227bd5d922921454a84962b0ca2","observation_id":"2e6a6633-fc19-4acd-9131-a5a9ba593857","resolution":{"observed_at":"2026-08-02T05:32:55.183674Z","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.1002/sys.21796","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Topcu and Zoe Szajnfarber","venue":"Systems Engineering","work_id":"692523cd-bb15-4e9f-a30a-8ad1d2468c95","year":2025},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:55.226277Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:a69a78bc9ab86f51a1e438e91518ace25edc27f1605860b3400bf76838f56a70","observation_id":"ca163c38-430d-481b-a362-3b5fed0d1b02","resolution":{"observed_at":"2026-08-02T05:33:22.072217Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-02T05:32:55.270850Z","title":"Trust in an ai versus a human teammate: The effects of teammate identity and performance on human-ai cooperation.Computers in Human Behavior, 139: 107536, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:55.270850Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:b9ca69b5cf0ecd74a764ae4b0f5464b18b667d9212468d7647eb4d8b506b957b","observation_id":"0a5996a4-18b9-4bd6-bd97-50eeb0d0bc57","resolution":{"observed_at":"2026-08-02T05:32:55.270850Z","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.1002/sys.21810","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Topcu, Mohammed Husain, Max Ofsa, and Paul Wach","venue":"Systems Engineering","work_id":"9819960f-03aa-4bb1-89fc-688ef20f9783","year":2025},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:55.322045Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:c382a35963734c76af17a316461833ae6f747ddf0d7c902178508370862e0be7","observation_id":"10622501-5c5e-45e3-b1b7-c9c6d8814a6d","resolution":{"observed_at":"2026-08-02T05:33:21.875742Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-02T05:32:55.401917Z","title":"Reconsidering the trade-off between expertise and flexibility: a cognitive entrenchment perspective.The Academy of Management Review, 35(4):579–603, 2010","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:55.401917Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:bf00ef6120f6093e39a6276eb6191a512367e41c8768856fab5654915941385c","observation_id":"8696d7af-21fd-4572-8d29-909689a7a9e6","resolution":{"observed_at":"2026-08-02T05:32:55.401917Z","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-02T05:32:55.458196Z","title":"How design engineers spend their time: Job content and task satisfaction.Design studies, 33 (4):391–425, 2012","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:55.458196Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:f38418a35fab0ee3848a23609eb5b834e36567cbd21202ab75dec525dc73c3f6","observation_id":"354e4a17-7a58-4881-88e1-c34248b5d44c","resolution":{"observed_at":"2026-08-02T05:32:55.458196Z","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-02T05:32:55.509994Z","title":"Towards developing metrics to evaluate digital engineering.Systems Engineering, 26(1):3–31, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:55.509994Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:ed1f81f58ecd0432d9f44b557cd63a56a080b1cdb029abf5a74357dd07ba4be3","observation_id":"8d17d9bc-77bb-42be-9aa8-ab5ddd311f69","resolution":{"observed_at":"2026-08-02T05:32:55.509994Z","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.1007/s12567-025-00595-x","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"SysIDE: SysML v2 textual editing and analysis system: Overview and applications.CEAS Space Journal, February 2025","venue":"CEAS Space Journal","work_id":"0da296df-48c6-4743-99cb-dc46728248e2","year":2025},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:55.569286Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:bf02348c9b5b40dd5b24546f67678216ec50da0c26b16a7e08949455c0236f3a","observation_id":"cdc66239-90a0-4e0c-b13e-ca2f29f14abc","resolution":{"observed_at":"2026-08-02T05:33:21.606673Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-02T05:32:55.620377Z","title":"Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:55.620377Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:b0ad5f168229197085dedce3b96b6a58a8df73dcc9960ede938d415b9d18122a","observation_id":"934fb819-e556-445a-8bdc-dfd1666f94f3","resolution":{"observed_at":"2026-08-02T05:32:55.620377Z","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-02T05:32:55.724562Z","title":"PhD thesis, University of California, Berkeley, Decem- ber 2008","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:55.724562Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:9133ec13ecd1603ecdf81e00c147a2e0e962d26d72a431d258ce074f3eb871f1","observation_id":"7a8e68fa-536f-4892-84ff-c62cd51f695a","resolution":{"observed_at":"2026-08-02T05:32:55.724562Z","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-02T05:32:55.749193Z","title":"Seshia, and Ashish Tiwari","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:55.749193Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:921a4b2a75dbd8f5df09c39968218be48efb55b96d8dcd8a039ce6e35f894043","observation_id":"5c76f3a3-45cf-451a-96ee-ea507ef2649b","resolution":{"observed_at":"2026-08-02T05:32:55.749193Z","resolver_source":null,"status":"malformed_identifier"},"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-02T05:32:55.763201Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:55.763201Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:715822605593af0ef45accda69bbe85f5a613449e02ac8824ab7fd1b147e09a1","observation_id":"62df5aa6-9f86-47b6-8624-bc31a43ea4fd","resolution":{"observed_at":"2026-08-02T05:32:55.763201Z","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-02T05:32:55.910347Z","title":"Compilable neural code generation with compiler feedback","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:55.910347Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:8a66fe4495fadc6d3b8f5fc881bbf2c958cb69ee4ec95a34bac9f0b9f8cf69c7","observation_id":"f4220207-d580-4889-bfdd-bc5aa504e0e6","resolution":{"observed_at":"2026-08-02T05:32:55.910347Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.14714","last_updated":"2024-03-18T23:25:13Z","snapshot_observed_at":"2026-07-06T17:48:41.389936Z","submitted_at":"2024-03-18T23:25:13Z","title":"Compiler generated feedback for Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.14714","snapshot_observed_at":"2026-08-02T05:32:56.114651Z","title":"Compiler generated feedback for large language models.arXiv preprint arXiv:2403.14714, March 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:56.114651Z"},"links":{"cited_paper":"/paper/2403.14714","citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:590bbcb6b733730963930879b3746c6129977bf321a5b9d2a93f1cb3d0557d5e","observation_id":"bee3bc17-5578-42c9-8a6c-a9bda67eea76","resolution":{"observed_at":"2026-08-02T05:32:56.114651Z","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-02T05:32:56.256035Z","title":"Generating sysml behavior models via large language models: An empirical study","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:56.256035Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:734ae8fc5e05c06799bf3ce87ef5c9e4abca230689a2f2d3ade1c34648da3596","observation_id":"1a95646e-1470-4860-bcb7-eca05b058eb0","resolution":{"observed_at":"2026-08-02T05:32:56.256035Z","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-02T05:32:56.372283Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:56.372283Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:3f13f60486c1d0cf1b1946a116f3f57f4a26901f01ca8b76c6dac2a5aab28508","observation_id":"5febc637-e62c-4f18-bec7-e9912dac49d7","resolution":{"observed_at":"2026-08-02T05:32:56.372283Z","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-02T05:32:56.497966Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:56.497966Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:5a158770404c6e89836bd5f4c97c73f53068e522d63c38482ceaa389f28fa5c0","observation_id":"0cd4626e-96c1-48c4-80ca-36ac0ed82264","resolution":{"observed_at":"2026-08-02T05:32:56.497966Z","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-02T05:32:56.657597Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:56.657597Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:be2947b679bb431ba6e674a83629612992a09cf2e3f6db535db7ed47f3d9014b","observation_id":"c1faa356-5abb-47f7-a7a8-63ab6e4e4132","resolution":{"observed_at":"2026-08-02T05:32:56.657597Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2007.07825","last_updated":"2020-07-14T17:53:01Z","snapshot_observed_at":"2026-08-02T15:17:58.548830Z","submitted_at":"2020-07-14T17:53:01Z","title":"Intelligent requirements engineering from natural language and their chaining toward CAD models","version":1},"cited_work":{"arxiv_id":"2007.07825","doi":"10.48550/arxiv.2007.07825","metadata_source":"pith","pith_arxiv_id":"2007.07825","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Intelligent requirements engineering from natural language and their chaining toward CAD models","venue":"cs.AI","work_id":"ddb42b5c-8d2a-41ac-a694-22fa6a0bcf64","year":2020},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:56.811082Z"},"links":{"cited_paper":"/paper/2007.07825","citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:7a74833a07431fae73e1d6ce24a583768b3f804c18a3b6901f064e1b6fee204d","observation_id":"92769b34-d23e-4793-8f58-f564bbfcb95f","resolution":{"observed_at":"2026-08-02T05:33:21.334043Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00766-025-00447-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ontology-based nlp tool for tracing software requirements and conceptual models: An empirical study.Requirements Engineering, 2025","venue":"Requirements Engineering","work_id":"d1490e71-f589-4665-b496-f19381030c51","year":2025},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:57.056947Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:c0c0ddaf01445e4855da03895c8e912e2b15e003d458256a93235f98666afd9d","observation_id":"b3502058-b7d7-4586-81c8-61a39347eb28","resolution":{"observed_at":"2026-08-02T05:33:21.070246Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-02T05:32:57.098193Z","title":"An automated approach to generate sysml models from restricted natural language requirements in chinese.Journal of Computer Research and Development, 58(4):706–730, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:57.098193Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:77c769bf153f258c935f99ceeaf0d9f63eee986efbdc1f4ebd013888afca6d06","observation_id":"a2a1dcf7-8232-42c4-bf93-0c260141bdce","resolution":{"observed_at":"2026-08-02T05:32:57.098193Z","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-02T05:32:57.224638Z","title":"Natural language processing for systems engineering: Automatic generation of systems modelling language diagrams.Knowledge-Based Systems, 259:110071, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:57.224638Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:ad9ed1f78f2f46923375426694c95df4d5cb08a1aa3dc1807558a56a144d5378","observation_id":"24782bad-5481-4b7a-9148-4969a275063d","resolution":{"observed_at":"2026-08-02T05:32:57.224638Z","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.3390/systems12090369","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Text-to-model transformation: Natural language-based model generation framework.Systems, 12(9):369, 2024","venue":"Systems","work_id":"44afff0b-80ba-4380-a464-2e5d01e3b599","year":2024},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:57.342807Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:d395c605171d9d7ea1b35e9d352c9eed366a4eb5ab1e68acdf434f46be24578d","observation_id":"d024f5b9-2798-407a-b00e-55fcdd474957","resolution":{"observed_at":"2026-08-02T05:33:20.874591Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-02T05:32:57.480707Z","title":"Llm-assisted semantic alignment and integration in collaborative model-based systems engineering using sysml v2","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:57.480707Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:fd5762fa34e4bc9f846a92e23d205f9c997ae079f76abf649a58ee2e82c872d9","observation_id":"c3a3ce01-615e-4bfa-81eb-0e19be1731f1","resolution":{"observed_at":"2026-08-02T05:32:57.480707Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.06803","last_updated":"2026-04-22T08:29:54Z","snapshot_observed_at":"2026-08-02T23:16:14.327919Z","submitted_at":"2025-07-09T12:44:49Z","title":"Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Language diagrams","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.06803","snapshot_observed_at":"2026-08-02T05:32:57.594089Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:57.594089Z"},"links":{"cited_paper":"/paper/2507.06803","citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:5be153337a57bdcf2f24a188562cda19b802a8753caa8f2671a9a22d6beb7025","observation_id":"311ca4e3-1d84-4acc-8162-1889693aef25","resolution":{"observed_at":"2026-08-02T05:32:57.594089Z","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-02T05:32:57.692804Z","title":"Grammar-constrained decoding for structured nlp tasks without finetuning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:57.692804Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:d5c66a69a9972d93e1eeabff3c3acfea4b40f5d5c94963f8d8d4cfa0c94e4483","observation_id":"a66cb48c-bd82-49a1-9194-678eba526ac5","resolution":{"observed_at":"2026-08-02T05:32:57.692804Z","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-02T05:32:57.831698Z","title":"Grammar- aligned decoding","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:57.831698Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:baeb48736045cecf1a319771ceda6c6746f33ee64973a2d370c62b7588a2df7b","observation_id":"db065fc6-9287-4964-8327-be924a4011dc","resolution":{"observed_at":"2026-08-02T05:32:57.831698Z","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-02T05:32:57.934372Z","title":"Grammar-constrained decoding for structured information extraction with low-resource transformers.Frontiers in Artificial Intelligence, 7, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:57.934372Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:fb6144c6a6eac27a45a6f91b9b6c5c467c6c091c538bf4107ae0252b088d688c","observation_id":"9635be05-16b9-4d91-b7bc-76b8ae31b374","resolution":{"observed_at":"2026-08-02T05:32:57.934372Z","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.14500/aro.12159","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Jabrw and Qusay I","venue":"ARO-The Scientific Journal of Koya University","work_id":"1f877f00-befc-48f4-a480-bb75c74ab427","year":2025},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:58.060660Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:d65c1da2444a4d8d9f11a34811f64317ff638129ccb7f09896dd3f2b4a319165","observation_id":"e5ae5279-6993-41ac-9aee-a1c5221c3a48","resolution":{"observed_at":"2026-08-02T05:33:20.571504Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-02T05:32:58.177353Z","title":"Llmloop: Improving llm-generated code and tests through automated iterative feedback loops","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:58.177353Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:32b5cc9c64f1f8d27eb18380f3c24e481c211c78dc397471e4d004166ac86251","observation_id":"2324c27c-1349-4b24-9a9c-f4964e4604c2","resolution":{"observed_at":"2026-08-02T05:32:58.177353Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-07-06T19:58:35.498502Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.19275","snapshot_observed_at":"2026-08-02T05:32:58.332156Z","title":"Vecogen: Automating generation of formally verified c code with large language models.arXiv preprint arXiv:2411.19275, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:58.332156Z"},"links":{"cited_paper":"/paper/2411.19275","citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:70dc470cbf53d99a357e118b46e93a6d82badce2513c9f440d39209fc3c75725","observation_id":"0402dbc4-11ba-4499-88f7-ed67e7d7c54c","resolution":{"observed_at":"2026-08-02T05:32:58.332156Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07786","last_updated":"2024-12-19T12:08:44Z","snapshot_observed_at":"2026-07-06T20:34:53.567141Z","submitted_at":"2024-12-19T12:08:44Z","title":"Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.07786","snapshot_observed_at":"2026-08-02T05:32:58.523379Z","title":"Orvalho, Mikoláš Janota, and Vasco Manquinho","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:58.523379Z"},"links":{"cited_paper":"/paper/2502.07786","citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:be28356a39284d5c594777db7e1a8c6246f5652821161c98e7c55d7e9c9e4f3b","observation_id":"b66be05d-a21c-48ec-924d-8be5aa4aa209","resolution":{"observed_at":"2026-08-02T05:32:58.523379Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.08147","last_updated":"2024-05-24T14:51:14Z","snapshot_observed_at":"2026-08-02T12:02:08.112912Z","submitted_at":"2024-02-13T00:55:14Z","title":"VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.08147","snapshot_observed_at":"2026-08-02T05:32:58.667128Z","title":"Byrd, Robert Zinkov, and Nada Amin","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:58.667128Z"},"links":{"cited_paper":"/paper/2402.08147","citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:1e96f5fa43a80cad316ac76704c5ad1f570572cd130a00e4ca2e33b362b27ce0","observation_id":"47e993ee-1950-4ce5-9e55-f338789f6a04","resolution":{"observed_at":"2026-08-02T05:32:58.667128Z","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-02T05:32:58.811736Z","title":"Sysml v2 parser for hamr","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:58.811736Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:6cc6161e756fdfbba04cd6ac9759f6a42b7f666b3f6d0414367d9d1f9888d549","observation_id":"90e5a40a-7f7c-41c4-86f1-383d8da0b2b1","resolution":{"observed_at":"2026-08-02T05:32:58.811736Z","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-02T05:32:59.012801Z","title":"Sysml v2 pilot implementation","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:59.012801Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:461dd170a04e7f47bd13ae8da65a053128e933e9e4827800df28def654b86943","observation_id":"19683587-0ffb-407d-9de4-d5f59b390114","resolution":{"observed_at":"2026-08-02T05:32:59.012801Z","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-02T05:32:59.176521Z","title":"GPT-5.2 Codex Model","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:59.176521Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:f5a37a866700803a436a8caab99ceddfbc5be3be7767484b62f9d050c9f91508","observation_id":"66828143-689e-472d-91be-11fe2a2db922","resolution":{"observed_at":"2026-08-02T05:32:59.176521Z","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-02T05:32:59.351883Z","title":"Claude Sonnet 4.6 (claude-sonnet-4-6)","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:59.351883Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:d56443d2e40eede017e24983a88f2f6542ce20782bb445a278fd6324516f538c","observation_id":"856f77ad-e70e-4934-97c4-3d183d003402","resolution":{"observed_at":"2026-08-02T05:32:59.351883Z","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-02T05:32:59.536573Z","title":"DeepSeek Reasoner v3.2 (deepseek-reasoner)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:59.536573Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:d40561d7c24451c784b72875938bc64b06aedb0de71ead42c8563badc1c5016f","observation_id":"70e0d930-1be5-48d8-964d-c7da1d061d85","resolution":{"observed_at":"2026-08-02T05:32:59.536573Z","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-02T05:32:59.690103Z","title":"Mistral Large 2512 (mistral-large-2512)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:59.690103Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:886c645e4c1ebec1f2f8aa732f27b1cfa1c526dd0870f6f8cf72d13d8ee48e72","observation_id":"5e3e4b86-a385-44fd-becb-9830f6bdf5c1","resolution":{"observed_at":"2026-08-02T05:32:59.690103Z","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-02T05:32:59.825522Z","title":"Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales","venue":null,"work_id":null,"year":1922},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:59.825522Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:93e368767d4d763c675225f0e4c6211c289de9a19fdbf4a6c19664b516a07701","observation_id":"f8e88a69-a2cc-49e4-8a4e-eb84f8bc6729","resolution":{"observed_at":"2026-08-02T05:32:59.825522Z","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-02T05:32:59.909165Z","title":"Wright.Numerical Optimization","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:59.909165Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:3f2ab234c24ed5563ba6d64d25a27f5c9b21d9b88c84dd71c1f9eeeb2e386866","observation_id":"f8a6903a-168d-4bf9-a74f-2b57744a1b70","resolution":{"observed_at":"2026-08-02T05:32:59.909165Z","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-02T05:33:00.054693Z","title":"Average convergence rate of evolutionary algorithms.IEEE Transactions on Evolutionary Computation, 20(2):316–321, 2016","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-02T05:33:00.054693Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:713de72372437e3fcf65b20fc3ce5f2ff8e4afccd39e1e36c62e28bb62790bbb","observation_id":"14c6c414-306a-46f5-97a2-3c62bc7b5ba8","resolution":{"observed_at":"2026-08-02T05:33:00.054693Z","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-02T05:33:00.171427Z","title":"Polyak.Introduction to Optimization","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-02T05:33:00.171427Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:50cea0033d390505165bfd182506a3430cfb3c1b4b5d2dfa0462a224d7d48c88","observation_id":"bba86403-0eb0-44e9-9360-1a067aa03b1c","resolution":{"observed_at":"2026-08-02T05:33:00.171427Z","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-02T05:33:00.255481Z","title":null,"venue":null,"work_id":null,"year":1934},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-02T05:33:00.255481Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:b6b966de44c0f3e3020448077f8ac59c75125a4dd4a8c51b29ff773f81431ff9","observation_id":"6123d025-252b-40ff-895e-1c2f1ccf5f33","resolution":{"observed_at":"2026-08-02T05:33:00.255481Z","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-02T05:33:00.344681Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-02T05:33:00.344681Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:1a7fd5f7f84d52c325536fb0a26dd435208f8f546e476c3fba2b5e671f998ecf","observation_id":"c644efdf-ca14-4406-a2d5-4af1f86adf3e","resolution":{"observed_at":"2026-08-02T05:33:00.344681Z","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-02T05:33:00.425717Z","title":"unaddressed and not fixed","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-02T05:33:00.425717Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:ad69ac779fdae83ab61e6eb81a202b3f2b96a9bd2414c26a7b679d56421b9d75","observation_id":"0a098c1f-b7eb-4369-9849-635caf62a44f","resolution":{"observed_at":"2026-08-02T05:33:00.425717Z","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-02T05:32:56.040198Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:56.040198Z"},"links":{"citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:45d61ecfd8fdda006a46f2b75bb2bf321546b3a1d49e9bfa19758d25ac0dc355","observation_id":"d38e5d59-910a-4aff-8209-418d75ca6ffd","resolution":{"observed_at":"2026-08-02T05:32:56.040198Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-08T10:14:34.469835Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement"},"reference_resolution":{"displayed":64,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":54,"verified_exact":9,"verified_fuzzy":0},"total_outbound_references":64},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 64 of 64 outbound references and 0 inbound Pith citation observations for arXiv:2607.14162."}