{"as_of":"2026-08-07T21:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d540b09760eeb76aff96d846d9507af41b44aab1819e5b12258aef98c2b4fe8c","coverage":[{"denominator":42,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":42,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-10T03:13:11.928039Z","state":"measured"},{"denominator":42,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":42,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2604.21715/citation-record","integrity":"/paper/2604.21715/integrity","json":"/paper/2604.21715/citation-record.json","paper":"/paper/2604.21715"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Linear temporal logic symbolic model checking.Computer Sci- ence Review, 5(2):163–203","venue":null,"work_id":"76701061-4359-4125-8461-c2a4dfa0c091","year":2011},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:e52b84f8c1325521e0888c7f9cc84cd21976fde0803793703192ab763cfec888","observation_id":"1e8a20f8-bb67-4d70-8649-e81f2d553e0e","resolution":{"observed_at":"2026-05-22T17:35:02.302906Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Springer Science & Business Media","venue":null,"work_id":"19024858-4b57-43bb-9181-d97c80231f62","year":1998},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:3dec67a546a651087c5e1aae7b3b4603dac3ba1127191ee226fdcf15d9176657","observation_id":"8c1afccc-be4b-4287-aff0-ad3c362cc1a5","resolution":{"observed_at":"2026-05-22T17:35:02.311104Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Runtime verification for ltl and tltl.ACM Transactions on Software Engineering and Methodology (TOSEM), 20(4):1–64","venue":null,"work_id":"76f9022e-1e6c-4a07-91f8-04080b4383d7","year":2011},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:5a9703e3d1272422160ad6bcf9e11f9e84656f90374e84ad8757b2f46956d3ab","observation_id":"467a0841-709c-45f3-82a3-62f9076db1ff","resolution":{"observed_at":"2026-05-22T17:35:02.308408Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06196","last_updated":"2025-03-23T14:51:01Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-02-09T05:37:09Z","title":"Large Language Models: A Survey","version":3},"cited_work":{"arxiv_id":"2402.06196","doi":"10.48550/arxiv.2402.06196","metadata_source":"pith","pith_arxiv_id":"2402.06196","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Large Language Models: A Survey","venue":"cs.CL","work_id":"54e385fe-1786-48c3-8aa0-d727210eb50e","year":2024},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"cited_paper":"/paper/2402.06196","citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:20dba946d79ee760ea4857d187d207eae0be02322f5d58b35d4293c9243158b3","observation_id":"157dbfe4-fd18-4098-8672-dc4739bb70ec","resolution":{"observed_at":"2026-05-11T15:22:57.224432Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"A comprehen- sive overview of large language models.ACM Transactions on Intelligent Systems and Technology, 16(5):1–72","venue":null,"work_id":"dcc28135-c08c-415f-895d-594ac5843d3d","year":2025},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:a2876184d339648adcd85a0c46c6380f7820ad5834635ba3de200bdcdd3dc25d","observation_id":"5258f2d1-5559-4400-b1df-2f21a75ca64b","resolution":{"observed_at":"2026-05-22T17:35:02.313851Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Automatically inspecting thousands of static bug warnings with large language model: How far are we?ACM Transactions on Knowledge Discovery from Data, 18(7):1–34","venue":null,"work_id":"c3ffa812-8434-4ffe-869b-fa1134d345f3","year":2024},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:3a4a08fbc576387b6b8ef5da783cf22820978a8d9effd8aa069a908f4251c52c","observation_id":"7be488b5-957f-4bf2-8f5c-674dd443da06","resolution":{"observed_at":"2026-05-22T17:35:02.287411Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Cfstra: En- hancing configurable program analysis through llm-driven strategy selection based on code features","venue":null,"work_id":"52da27d0-4b48-4be9-8c4f-21bcf7510aa8","year":2024},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:228d68d64ca0e7eb5c596547cdefd02dbd41be4b40b5828fc59700108f096c6c","observation_id":"b443f2df-ce48-441b-834c-2a61018044b7","resolution":{"observed_at":"2026-05-22T17:35:02.292172Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"nl2spec: Interactively translating unstructured natural language to temporal logics with large language models","venue":null,"work_id":"4225b014-afd4-4f2b-a226-26ca39cced96","year":2023},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:315c244193b4e0f53a82de3279aad8a9566b1e64230046021e761e774a544508","observation_id":"511368ed-ff50-4391-ab30-ae350e2306e5","resolution":{"observed_at":"2026-05-22T17:35:02.297430Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Nl2tl: Transforming natural languages to temporal logics using large language models","venue":null,"work_id":"d2d4a724-0f87-42e7-a1f0-0409bd98ee9d","year":2023},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:0beafb1d874eafec2f37ac80449cf1bbb69c34e0f04b1edb939a179ffca6d0f4","observation_id":"6597c12f-17b6-4e54-8157-39492a9566da","resolution":{"observed_at":"2026-05-22T17:35:02.272117Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Nl2ltl - a python package for con- verting natural language (nl) instructions to linear temporal logic (ltl) formulas","venue":null,"work_id":"ad5a24a4-ba73-4cdb-a817-79087a657c0d","year":2023},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:0c8a4f9ee474ffe6ab414d958c36bb6d707914bf7bc1e7da8b414e11ae64d6c7","observation_id":"76965479-4140-44ce-888e-586702fdcfa0","resolution":{"observed_at":"2026-05-22T17:35:02.275968Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"PhD thesis, Massachusetts Institute of Technology","venue":null,"work_id":"5ae2101a-399b-4775-adf3-d723218828fc","year":1998},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:a3481fe5656b963556a3d70f2f697106c0f1e6c703ba679aa2bea4a9bb19dae8","observation_id":"98aad0cc-4769-4611-bec7-a4c3b827b22a","resolution":{"observed_at":"2026-05-22T17:35:02.278658Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"From informal to formal– incorporating and evaluating llms on natural language requirements to verifiable formal proofs","venue":null,"work_id":"8bcbfc5a-6b0e-4520-80bc-78abbd3dbeba","year":2025},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:1011a6e03137fb4a3837080869396f893a65ceda4a70d7605c38c4013e2c235c","observation_id":"610d9687-5b98-4a92-a77d-09fc2d073d32","resolution":{"observed_at":"2026-05-22T17:35:02.267454Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Enchanting program specification synthesis by large language models using static analysis and program verification","venue":null,"work_id":"d0718472-b4ef-42dd-97a0-698f3bc8618b","year":2024},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:e91f8de3293dadf76372d97790bf0f3e3b52b95a1ba58381f67b63eea92e2b6e","observation_id":"b13469a3-fd0f-49c5-a17e-27ea320c93d2","resolution":{"observed_at":"2026-05-22T17:35:02.257133Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Integrating ensemble learning and large language models for efficient formal verification of ip-based aerospace systems","venue":null,"work_id":"0ebb83fa-6413-4e3a-9e3b-468911a11de2","year":2026},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:d18b5dd110b72d1e53cabdd770e4eb168cf168e997e38083b308c3ff9b4bdb0a","observation_id":"d3c57004-7517-4a08-b212-2322ec4dde4e","resolution":{"observed_at":"2026-05-22T17:35:02.259649Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Formal verifica- tion of aerospace software ip components: A multi-tool case study","venue":null,"work_id":"e1e91ba7-30d0-49c2-a1cb-b40ba69e25c7","year":2026},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:0bd05e33e5e3be88c662ec174b100c992fdd9f44f308f41253514ccd750802ef","observation_id":"2a15bed3-981c-41f5-bcdb-114d0defd48d","resolution":{"observed_at":"2026-05-22T17:35:02.269786Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.00795","last_updated":"2024-03-31T20:51:26Z","snapshot_observed_at":"2026-07-06T17:53:44.044640Z","submitted_at":"2024-03-31T20:51:26Z","title":"Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems","version":1},"cited_work":{"arxiv_id":"2404.00795","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2404.00795","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"To- wards practical requirement analysis and verification: A case study on software ip components in aerospace embedded systems","venue":null,"work_id":"bd2e9a21-0272-4ed1-ac8a-299ce94807cb","year":2024},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"cited_paper":"/paper/2404.00795","citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:48b0905c4646bf6542309dcee8b48ecaf213f0f3d47dad82b35f991a21e72741","observation_id":"88457c6b-9183-456e-b135-265ee2c77e69","resolution":{"observed_at":"2026-05-10T03:14:07.845395Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Gpt-4o technical report.https://openai.com/index/gpt-4o","venue":null,"work_id":"7e3e4b94-9d60-4630-8537-e5ce44dbc90b","year":2024},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:93a5295b3dbfacceb3cfad7fff4679f8114cf6865b4f9fb40aafa1b79ff219ef","observation_id":"f3564e90-1844-49d9-b3a3-c41edc85c53e","resolution":{"observed_at":"2026-05-22T17:35:02.284338Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.07927","last_updated":"2024-05-13T16:58:58Z","snapshot_observed_at":"2026-08-05T21:17:52.727238Z","submitted_at":"2024-05-13T16:58:58Z","title":"Topological Interlayer Superconductivity in a van der Waals Heterostructure","version":1},"cited_work":{"arxiv_id":"2405.07927","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.07927","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Deepseek-vl: Scaling vision-language models with vision token learner","venue":null,"work_id":"a423c5bd-0cf9-481d-8033-88d3f678ca55","year":2024},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"cited_paper":"/paper/2405.07927","citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:983b755b30fbd75b2fb8fcaf7a1f300ff282984ebb6d75eca7575e312cd5e268","observation_id":"cb29874c-0291-441a-8653-704ca4235111","resolution":{"observed_at":"2026-05-10T03:14:07.840718Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Checking metric temporal logic with trace","venue":null,"work_id":"adea707f-f9f0-41a7-aea9-d0978a05d423","year":2016},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:b40f46db16549fb3d4b0a5ad11fcb2f1d47346c730002381212c6b4688d1d319","observation_id":"a3b999a2-fd14-4396-8413-f62ca35df5a5","resolution":{"observed_at":"2026-05-22T17:35:02.289964Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs","venue":null,"work_id":"8d1568d7-19e0-4c54-9352-8a76d325e88a","year":2008},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:e249b1461f599e672a83450bd130628aad87bd69ceee51c540572871613a7f6c","observation_id":"30d9e9ef-acc4-4336-abd8-a98ca8d5cdfe","resolution":{"observed_at":"2026-05-22T17:35:02.246910Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Klee symbolic execution engine in 2019.In- ternational Journal on Software Tools for Technology Transfer, 23:867–870","venue":null,"work_id":"f5068ab0-5fa2-4eb9-b450-191ef060154a","year":2019},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:e1df2fce7b3026aab6047e3ea82ef83775f26adbebb7cae04ef07688c0d472d0","observation_id":"16b1a0ec-5d61-4135-b49c-6050ee081dbd","resolution":{"observed_at":"2026-05-22T17:35:02.249409Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Program analysis with a debugger: Gdb","venue":null,"work_id":"0b3f11d3-19b2-44c4-945c-6b1f0503eebe","year":2019},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:e1988b731c4b2c4416fe4bc73429d6d8013946fbb48f47d5f3de2d7584ed0015","observation_id":"a0984c78-9fc3-487a-95ca-c1ea9d6e5aeb","resolution":{"observed_at":"2026-05-22T17:35:02.241664Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Grammar-forced translation of natural language to temporal logic using llms","venue":null,"work_id":"14f1add6-cf73-4232-a928-cdbb2c7b665d","year":2025},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:ab3a86f425a434d67b78df8d2d036a7e6da5ecf461fbd53d3074d6157ecee6d8","observation_id":"29446285-02ef-40ea-be18-ac9d1aba37a6","resolution":{"observed_at":"2026-05-22T17:35:02.236288Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Learning from failures: Translation of natural language requirements into linear temporal logic with large language mod- els","venue":null,"work_id":"798dbc6a-94ea-4a10-adf0-8eb8a99f58b9","year":2024},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:d138cf1a0b15453f6353566f43aca937aa684fbe9270d494fe7ff38046c8c306","observation_id":"d053b1a8-8c63-476e-ba82-db14b74a604c","resolution":{"observed_at":"2026-05-22T17:35:02.239057Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Lang2ltl: Translating natural language commands to temporal specification with large language models","venue":null,"work_id":"74ef97d7-025d-4689-a13e-826974e2157c","year":2022},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:f5114d67830da3ddbf0977fe7a9a83a13366003d4cbf70790673ddc7ae9d52d4","observation_id":"be7a1ea5-81f1-4599-88da-f2933f3a27a1","resolution":{"observed_at":"2026-05-22T17:35:02.244173Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"5af6a678-7e1f-49e9-a36a-5d98eea202a5","year":2024},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:1af0a243d6098ab7a003f46d6be5a71c1bf3280219dec06bc29c1afb1a7bb3d6","observation_id":"cb083df5-1f05-4f7d-a0ee-20663b9713d7","resolution":{"observed_at":"2026-05-22T17:35:02.251498Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"c0dc2d41-183f-4be2-97df-625502471700","year":2024},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:80a3805d74e8533d7f46f4f1dff4bf7e55fc05be3a316f21152e109dc1a32f32","observation_id":"8ff5eaab-1c82-455f-916e-83fb1ee4c787","resolution":{"observed_at":"2026-05-22T17:35:02.225980Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.09896","last_updated":"2024-02-02T18:31:34Z","snapshot_observed_at":"2026-08-06T10:06:10.773161Z","submitted_at":"2023-06-16T15:13:17Z","title":"Is Self-Repair a Silver Bullet for Code Generation?","version":5},"cited_work":{"arxiv_id":"2306.09896","doi":"10.48550/arxiv.2306.09896","metadata_source":"arxiv_reference","pith_arxiv_id":"2306.09896","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Demystifying gpt self-repair for code generation","venue":"arXiv (Cornell University)","work_id":"2e065f4d-3787-4c0c-b03a-9625de46bcc6","year":2023},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"cited_paper":"/paper/2306.09896","citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:29232827f607f5b94e35c3de582b4190c8d901c414eb2fd05ee18bc351e9daff","observation_id":"ab7305ac-535b-4218-aa58-e005d17e421f","resolution":{"observed_at":"2026-05-10T03:14:07.850971Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2510.14348","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Automated extraction of protocol state machines from 3gpp specifications with domain-informed prompts and llm ensembles.ArXiv, abs/2510.14348","venue":null,"work_id":"13f9f805-b6f4-43d9-af6d-64e893e45643","year":2025},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:5207fdd864676edfefdac5d967a8f3def1d196e015c5e7bedd1125476605be49","observation_id":"2632d379-fdb7-4601-a320-ac92324147d4","resolution":{"observed_at":"2026-05-10T03:14:07.853620Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Springer","venue":null,"work_id":"b55c2018-991e-427d-8184-de2655dc10d8","year":2006},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:9666d84762eae9f0eb63e5ee70261d433c66b74d7a84c5c59cef2381a71404b5","observation_id":"c3d9b1f6-c78b-4b8d-bf9d-42f1b0c0a0f1","resolution":{"observed_at":"2026-05-22T17:35:02.228085Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"From domain descriptions to requirements prescriptions","venue":null,"work_id":"55eb80cf-9527-4150-be04-7bfb702c4f93","year":null},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:f86c1a5ccf112afea258a15c842e9e3611fe4f5464079055af4f2708a907e8a4","observation_id":"fc1a4881-6694-451c-977a-399f9b77e660","resolution":{"observed_at":"2026-05-22T17:35:02.220838Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Unlocking the silent needs: Business-logic-driven iterative requirements auto-completion","venue":null,"work_id":"96cf2543-854e-4894-ba96-57219d0a8e32","year":2026},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:746ca921074671b50a1fa77c5f5eaa32f683ebcfcaab139c9ef1950351df89fa","observation_id":"62f46221-7810-4513-b934-75c1f1861cbe","resolution":{"observed_at":"2026-05-22T17:35:02.215525Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.17226","last_updated":"2025-04-24T03:34:37Z","snapshot_observed_at":"2026-08-07T15:59:40.404895Z","submitted_at":"2025-04-24T03:34:37Z","title":"FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols","version":1},"cited_work":{"arxiv_id":"2504.17226","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2504.17226","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Flag: Formal and llm-assisted sva generation for formal specifications of on-chip communication protocols","venue":null,"work_id":"dacdbb04-63e0-45ad-b5a1-12bfedddad15","year":2025},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"cited_paper":"/paper/2504.17226","citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:be499368af21b88aba7ca375c47d178ffead681221f64ff595c94344a05fbba2","observation_id":"53b3ce17-5f41-4a04-a7b4-0006de14dfd0","resolution":{"observed_at":"2026-05-10T03:14:07.856321Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Towards legal contract for- malization with controlled natural language templates","venue":null,"work_id":"c8afe9c6-78b1-4621-92d0-10d9f7d9ac85","year":2023},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:3dfe8d4caaff2cf05c9a6a9e5d6e35ac9afce458d62904c3a3577e7e0379b332","observation_id":"4e95303c-3704-4219-bc10-7fb475ca4aeb","resolution":{"observed_at":"2026-05-22T17:35:02.218435Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2512.17334","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-02T04:56:39.132867Z","title":"URL https://arxiv.org/abs/2512","venue":null,"work_id":"798b6642-e0a7-4733-be91-69e702bb2295","year":2025},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:a5e01d8c46a985f66bc21c42e669be14a8fc48b98128d38a63a87a23024d048f","observation_id":"7c11c9d3-8a92-4ee3-9455-ee3e9120e9c5","resolution":{"observed_at":"2026-05-10T03:14:07.827681Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Domain engineering: A software engineering discipline in need of research","venue":null,"work_id":"cf1b1952-03d4-44c1-821c-96d533ab18cd","year":2000},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:558183afacc17262403f2ce682b57ae3a99d8321dbd99c09b6f178f693209840","observation_id":"a3289561-ae6c-4814-b22d-7fc445fe65fa","resolution":{"observed_at":"2026-05-22T17:35:02.223781Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Survey of machine learning for software-assisted hardware design verification: Past, present, and prospect.ACM Transactions on Design Automation of Electronic Systems","venue":null,"work_id":"6b6a5d65-348b-4b9d-960b-62471b8cc1af","year":2024},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:16bf527b5c29ce47f5c5f639bf491277667f19a3f23344ae24464fde838b4d15","observation_id":"924dcb26-9c43-4d66-973e-e7095dc71ee6","resolution":{"observed_at":"2026-05-22T17:35:02.230921Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Faegheh Yeganli, Mohammad Baharloo, and Amirali Bani- asadi","venue":null,"work_id":"43c76fc8-7776-42e1-99c0-b2ed66757030","year":2024},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:2cff6914a641066684ad3e440f0674f414f1704ce666a10bb164b729c0ee3d8e","observation_id":"b9fa877c-87ef-446f-b3cf-3236473b616c","resolution":{"observed_at":"2026-05-22T17:35:02.233647Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Modeling like peeling an onion: Layerwise analysis-driven automatic behavioral model genera- tion","venue":null,"work_id":"71371e29-e311-484a-b2f0-0affbc668342","year":2026},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:65af37fe56e2aafb885255ba974c6e18f30c5e77681fdba3c9b0b348b7398ebc","observation_id":"51bcb02c-ee50-4e0a-9d2f-6b2ebf81ebb0","resolution":{"observed_at":"2026-05-22T17:35:02.254199Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2507.00877","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-30T14:44:45.812578Z","title":"English, Chase Walker, Dominic Simon, Sumit K","venue":null,"work_id":"63670991-6b0a-445d-9eab-8f253878fe81","year":2025},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:a490f269fcc741a719e2240a9f98882f9fdfe9a18e099baba08964a9be454e24","observation_id":"e8c988c2-a99f-4a3a-92b5-3f07c9cbfc2c","resolution":{"observed_at":"2026-05-10T03:14:07.833814Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"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-06-05T21:23:00.469572Z","title":"Translating natural language to temporal logics with large language models and model checkers.2024 Formal Methods in Computer-Aided Design (FMCAD), pages 1–11","venue":null,"work_id":"971d5c33-a466-417e-8ce4-407b023147dd","year":2024},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:4e0f430800e1f7ecc4a76cfabc061e00b463e922404b30d8e1fa0017dbfc5a6a","observation_id":"7a24d2ae-9c4d-457d-983a-c0c173aed98d","resolution":{"observed_at":"2026-05-22T17:35:02.300386Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2504.21022","doi":"10.48550/arxiv.2504.21022","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Wang et al","venue":"ArXiv.org","work_id":"85e3d721-74bd-48e7-8ba4-fae34c789e31","year":2025},"citing_paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-10T03:13:11.928039Z"},"links":{"citing_paper":"/paper/2604.21715"},"observation_digest":"sha256:d818143b268cca72d26a5a9c19663cbfbff828fcd863a9343854ee948e25a7eb","observation_id":"23ac3778-7c99-4881-832a-c42e0d7136aa","resolution":{"observed_at":"2026-05-10T03:14:07.830159Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.21715","last_updated":"2026-04-21T01:20:33Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-02T07:19:14.414743Z","submitted_at":"2026-04-21T01:20:33Z","title":"Automated LTL Specification Generation from Industrial Aerospace Requirements"},"reference_resolution":{"displayed":42,"state_counts":{"malformed_identifier":0,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":2,"verified_exact":6,"verified_fuzzy":31},"total_outbound_references":42},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 0 inbound Pith citation observations for arXiv:2604.21715."}