{"as_of":"2026-08-08T03:39:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:410c6334340276a4546a8376a6b181c91485d9132274bc581c1577c441385d9c","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-08-07T13:55:28.195122Z","state":"measured"},{"denominator":44,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":44,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T15:59:20.968818Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-06T15:59:21.045639Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"cited_work":{"arxiv_id":"2505.20658","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.20658","snapshot_observed_at":"2026-08-06T15:59:21.045639Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","venue":"cs.CL","work_id":"606db401-2a45-4bd8-b11f-653d7a6f9973","year":2025},"citing_paper":{"arxiv_id":"2507.14582","last_updated":"2025-07-19T11:53:24Z","snapshot_observed_at":"2026-08-06T15:50:03.290916Z","submitted_at":"2025-07-19T11:53:24Z","title":"BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T15:59:20.968818Z"},"links":{"cited_paper":"/paper/2505.20658","citing_paper":"/paper/2507.14582"},"observation_digest":"sha256:5c35d0b3b1bb5a8146d35d7cbc3173c2b19f59c38f37de77a028f8eb5dffa8a3","observation_id":"3de59024-e26f-423c-8dc1-18280f580eae","resolution":{"observed_at":"2026-08-06T15:59:21.050864Z","resolver_source":"local_arxiv","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":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.20658","snapshot_observed_at":"2026-08-01T15:03:14.393164Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18580","last_updated":"2026-07-20T23:26:32Z","snapshot_observed_at":"2026-08-07T13:58:14.804380Z","submitted_at":"2026-07-20T23:26:32Z","title":"STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T15:03:14.393164Z"},"links":{"cited_paper":"/paper/2505.20658","citing_paper":"/paper/2607.18580"},"observation_digest":"sha256:8c1bdaff6306f2d7a355fe761c026175079273079adc07d377b221e59e65c581","observation_id":"1d8db18d-6099-46f6-9aac-f1622f98623b","resolution":{"observed_at":"2026-08-01T15:03:14.393164Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2505.20658/citation-record","integrity":"/paper/2505.20658/integrity","json":"/paper/2505.20658/citation-record.json","paper":"/paper/2505.20658"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-07T13:55:25.532477Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:25.532477Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:b5b0c9b03441223e6ad6174d1d6fe31d075179d17453b40fb89062b6eeb24a1b","observation_id":"62cfb448-d8a4-4c1e-b7f9-91f923cb7f3c","resolution":{"observed_at":"2026-08-07T13:55:25.532477Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:32.188552Z","title":null,"venue":null,"work_id":"347d89b5-802a-409e-9ceb-b0567894ed2c","year":2021},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:25.563334Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:31b16f3cc40975908936af4972a2fb0ee421dfd2a3780898ec3b8610980f3b9b","observation_id":"c94e6616-c7eb-46d5-872b-bf2bf7c82553","resolution":{"observed_at":"2026-08-07T13:55:32.310818Z","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-08-07T13:55:31.933305Z","title":null,"venue":null,"work_id":"7b6f3553-66e8-4895-8237-5175ea606a73","year":2023},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:25.636321Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:9a1bb7bd9a6b783f0e1d5664ac1640ca25c0d27105cb5296850b88141bfc0520","observation_id":"f172d07d-f449-4e97-a61c-9442f3ff01ae","resolution":{"observed_at":"2026-08-07T13:55:32.084190Z","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-08-07T13:55:31.744234Z","title":null,"venue":null,"work_id":"043177c5-5d4d-48f2-a3d3-f7cb66800f39","year":2023},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:25.739595Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:85f4a031c033d83805fe17a0c276fc8a63f74ef403433bf5a580201d6eb13f72","observation_id":"0d3a4f8c-cda5-446a-b9ed-2f9901afd1fd","resolution":{"observed_at":"2026-08-07T13:55:31.828581Z","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-08-07T13:55:31.475401Z","title":null,"venue":null,"work_id":"6152f277-1aef-4cca-ba2d-436dc4625d57","year":2023},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:25.879192Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:5379cc39b08a37f97f4cbd87d1c6252de7b55af31e962883a0280f84cbeaedbc","observation_id":"95c46cbf-87f1-43c9-84db-9099eb803dc4","resolution":{"observed_at":"2026-08-07T13:55:31.572440Z","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-08-07T13:55:31.237375Z","title":null,"venue":null,"work_id":"2c4ee558-c595-4033-bde2-c635e5e1e401","year":1999},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:25.973000Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:b1aa21c9bcc43956fd5728cbcc1828b7bef7f9bfd29d86f863fb07924a138186","observation_id":"5a4238fc-8851-41a6-aa5f-9bbee4927076","resolution":{"observed_at":"2026-08-07T13:55:31.349214Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:26.045092Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:26.045092Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:3a0d1aad726c04e3f90deb730c4c3b32f27df8dca37de667303bc6c98d899772","observation_id":"d5fbe20f-2d20-46a4-9d90-a90a2237a22d","resolution":{"observed_at":"2026-08-07T13:55:26.045092Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:30.985618Z","title":null,"venue":null,"work_id":"2abd7507-cfad-4824-a228-9e692a5f755e","year":2020},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:26.131133Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:e1d89e9b5b80ef5d03614c833af337e341f4b831dfbc6e9c95da101d8facc783","observation_id":"f1f8fde2-09b2-4a4c-a295-f130480fe64a","resolution":{"observed_at":"2026-08-07T13:55:31.111631Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:26.195348Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:26.195348Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:601f3af9aa8f466326936b147552df424fa09bf1996aaefd3408f9d6f884ddb5","observation_id":"a8dabbed-ca9b-4c13-903f-481ddc6471d3","resolution":{"observed_at":"2026-08-07T13:55:26.195348Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:30.758716Z","title":null,"venue":null,"work_id":"a83552b3-197c-4a1a-ac4c-719d0e0f2b77","year":2016},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:26.270032Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:a71e8330fb04d2f03fe47680bde4bfa63baba196fb5583248c1f45070e609c79","observation_id":"819718d0-c887-4e84-9966-c7235fd09322","resolution":{"observed_at":"2026-08-07T13:55:30.878719Z","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-08-07T13:55:30.523430Z","title":null,"venue":null,"work_id":"76bb4f9f-a8b9-4cb6-9a9d-a063e5a8a6ec","year":1979},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:26.334310Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:a2a91825c84f605c96ae83935357925e7173f042bf332f0b9b65369dccca062b","observation_id":"e79c74d5-ecae-4afc-906e-0a6719604d64","resolution":{"observed_at":"2026-08-07T13:55:30.646189Z","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-08-07T13:55:30.330172Z","title":null,"venue":null,"work_id":"27a5c18a-7982-4803-8aa6-34b3ce68f152","year":2022},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:26.437660Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:ed8d20f9cb4dc54a4ab9efe7057db9fbccd58236120fdaeb0e012d3924a48afc","observation_id":"6bcd4bcb-4c2d-47ca-bdec-2a35527d1b1b","resolution":{"observed_at":"2026-08-07T13:55:30.420758Z","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":"1412.6980","last_updated":"2017-01-30T01:27:54Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2014-12-22T13:54:29Z","title":"Adam: A Method for Stochastic Optimization","version":9},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1412.6980","snapshot_observed_at":"2026-08-07T13:55:26.509881Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:26.509881Z"},"links":{"cited_paper":"/paper/1412.6980","citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:6ca40401a93e5f1ad9d05e10fad95ad56715687861fbb548fd85369d7e476b76","observation_id":"5f0d449a-e3d9-41bb-918b-70aae6ef8e4b","resolution":{"observed_at":"2026-08-07T13:55:26.509881Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:30.071083Z","title":null,"venue":null,"work_id":"32b6a768-71b8-4fd5-aab0-d37d3a414c15","year":2024},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:26.582770Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:c8f786eccc5b93043db5211722afbb896d554a1593e1dc97b534c3392cc89c15","observation_id":"b7d1fb6f-06b4-4837-816a-b04103aabdf0","resolution":{"observed_at":"2026-08-07T13:55:30.231679Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:26.665476Z","title":"o pf, Yannic Kilcher, Dimitri von R \\","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:26.665476Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:6f5b096306f2634ae75d831d3d455a82a74a56866f456dac3079b2ae8125579e","observation_id":"b942af3e-a9c1-438f-9cd1-1f50a8f542c5","resolution":{"observed_at":"2026-08-07T13:55:26.665476Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:29.965836Z","title":null,"venue":null,"work_id":"ea1e53ef-79fb-4b27-b170-81badb2243c8","year":2013},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:26.752806Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:326b3692bb1fdd4ce10c47248cce4b763ef6261cca9cf746dcdbf5dbb99174df","observation_id":"669b6bb9-aec6-4758-9a86-4f42550aa029","resolution":{"observed_at":"2026-08-07T13:55:30.011462Z","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-08-07T13:55:29.867612Z","title":"Marcus, and Hadas Kress - Gazit","venue":null,"work_id":"5bf8d734-6343-4377-94ef-862e600cd9ab","year":2015},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:26.807639Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:a1c5f4e679b1833ed637128a0dc4567c3fa740ba289478763ada16421d3f9ca4","observation_id":"6dd64f17-d678-4095-8925-a89c0a7f217e","resolution":{"observed_at":"2026-08-07T13:55:29.911320Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:26.868561Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:26.868561Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:d026b312f3f3d7e2d2b62ed35e21947b2feb78d5ce75a32590ce12f28af54ccd","observation_id":"62d38c4a-d89f-4949-a899-765b0d5f5a10","resolution":{"observed_at":"2026-08-07T13:55:26.868561Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.19437","last_updated":"2025-02-18T17:26:38Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-12-27T04:03:16Z","title":"DeepSeek-V3 Technical Report","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.19437","snapshot_observed_at":"2026-08-07T13:55:26.929705Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:26.929705Z"},"links":{"cited_paper":"/paper/2412.19437","citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:a068aae202b8891b7c51b65d881aa2727976ca0c807b29137b11278673985d0c","observation_id":"a54e3c07-3627-4ff6-b775-bd91f1a88e33","resolution":{"observed_at":"2026-08-07T13:55:26.929705Z","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-07T13:55:26.988346Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:26.988346Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:8db230276f6e9a83174a8e138c447dd47cec3d9427e460c648876581057999bd","observation_id":"03cd46a9-6729-4095-a4a1-d32d6fc5af6c","resolution":{"observed_at":"2026-08-07T13:55:26.988346Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:29.736847Z","title":"DeLateur, Ron Weiss, Douglas Densmore, and Calin Belta","venue":null,"work_id":"84a3b17f-4e6f-4c76-8964-ac1d7ea18578","year":2018},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:27.052500Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:30d1b2981aa2690d0b08074ab03ef4760915f4e197f126a47975da1f4f32c335","observation_id":"3a8cac01-e0f5-4a38-9dd5-4e1d00cce383","resolution":{"observed_at":"2026-08-07T13:55:29.770200Z","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-08-07T13:55:29.664004Z","title":null,"venue":null,"work_id":"9d95559e-d9ee-4da5-bf2b-24e16e27e1f7","year":2020},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:27.088030Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:d699fe212e745c9b9c8d77a774a489cc6847129fbb8fc7a2af120f56a4ad67af","observation_id":"9a4f6e1c-4dd9-4652-83e6-752b5726580e","resolution":{"observed_at":"2026-08-07T13:55:29.697085Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:27.119988Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:27.119988Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:90190a8a48306034c7ef5ae861b43ea7e362d3725210ffc6045e8343d923cb05","observation_id":"1c11d949-d764-4ad7-adeb-db562663af99","resolution":{"observed_at":"2026-08-07T13:55:27.119988Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:29.605532Z","title":null,"venue":null,"work_id":"6306197e-a8f5-4d2b-9cca-5b967c17851e","year":2024},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:27.160541Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:7619bc00b78d810a230a338c29a0087dccfb86cf6a0facb8c6b2fcea5e44cb9e","observation_id":"96f1defe-2c36-43e4-8449-fd3b9c23530f","resolution":{"observed_at":"2026-08-07T13:55:29.625278Z","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-08-07T13:55:29.490571Z","title":null,"venue":null,"work_id":"4b2fdc89-5920-461d-b525-df6924cb3486","year":2024},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:27.203400Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:30316c5927b1f429e4f58a67e0bb8fa8fe6a528f6184edad7be278a419e58a54","observation_id":"fcccfca8-b1a6-4a22-ab3d-635c4cacec88","resolution":{"observed_at":"2026-08-07T13:55:29.521591Z","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-08-07T13:55:29.440031Z","title":null,"venue":null,"work_id":"1753cc73-28b5-4b15-9b47-64761c5032d9","year":2002},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:27.252729Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:9b2f25a80c7712c977af65bf4b8a0cfa8e00efb6e7e8d03b97f1330a46db4de6","observation_id":"cd322c30-c0d4-474d-91ec-de4f0797ed1f","resolution":{"observed_at":"2026-08-07T13:55:29.459511Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:27.292820Z","title":null,"venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:27.292820Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:fe3cb994112a8153b523b7f7e4470614e12a0644db704264fd52d0d896d614fc","observation_id":"7e92aa36-c5c9-439e-b563-4357f81211a8","resolution":{"observed_at":"2026-08-07T13:55:27.292820Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1908.10084","last_updated":"2019-08-27T08:50:17Z","snapshot_observed_at":"2026-07-06T08:17:05.681370Z","submitted_at":"2019-08-27T08:50:17Z","title":"Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1908.10084","snapshot_observed_at":"2026-08-07T13:55:27.341295Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:27.341295Z"},"links":{"cited_paper":"/paper/1908.10084","citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:e6420bf2fa050197f28c2473d447c1b1dfa5a8a34520ac69842cefaaeb2e67ba","observation_id":"37e28271-26c0-40dc-9a40-e37e228d567b","resolution":{"observed_at":"2026-08-07T13:55:27.341295Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:29.365685Z","title":null,"venue":null,"work_id":"5ceace0f-ad10-4227-852b-6e3a4c261379","year":2018},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:27.402812Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:7e1ccc44544b765fbf7d09a0f66d2f8586b49f4297b24ed37591b1b2055f9440","observation_id":"259aee48-da17-4fe6-b595-f9a562645777","resolution":{"observed_at":"2026-08-07T13:55:29.404168Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:27.464136Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:27.464136Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:08303d5fa7a6e3b3226bace6c2221d36a882cfece794a5de88c7141ec6dfd016","observation_id":"2e3e7bef-45d9-4173-b212-0e140b7901f2","resolution":{"observed_at":"2026-08-07T13:55:27.464136Z","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-07T13:55:27.530354Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:27.530354Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:3945895dbe5d689c44f11746e804a09c4c4d051b789515018df566c332fd6769","observation_id":"af95cd4b-6e9e-4511-ac3b-d1180188ec0a","resolution":{"observed_at":"2026-08-07T13:55:27.530354Z","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-07T13:55:27.595129Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:27.595129Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:6aeba4d3fa1d0bf48f34fa1b2152dfc033ad53a16d6f610e83bf333d3d652eed","observation_id":"3ad92687-18e3-4c89-9a72-651f0ae2ce46","resolution":{"observed_at":"2026-08-07T13:55:27.595129Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:29.246991Z","title":null,"venue":null,"work_id":"2c2de9a0-c082-47e8-8c38-e0f6b067da96","year":2020},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:27.657798Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:af3bee4904f239e68bc8cda778794518e4ccb264984fd6de39995ce4bb4f64a0","observation_id":"0731bbb1-60cb-4a41-b515-9b4f3b9004b7","resolution":{"observed_at":"2026-08-07T13:55:29.319568Z","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-08-07T13:55:29.066733Z","title":null,"venue":null,"work_id":"d0f470b1-6c96-4de7-b9f6-3e1e3a451680","year":2023},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:27.715680Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:2cb500626157dd8515f2f647c8c2403884a24a206140592b528311750d27b16e","observation_id":"2e7bce26-c10e-4ae9-8f8e-cf82f6e6bf1d","resolution":{"observed_at":"2026-08-07T13:55:29.156488Z","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-08-07T13:55:28.957007Z","title":null,"venue":null,"work_id":"efe6a6f2-6588-46e8-b792-6d7a6429c30c","year":2024},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:27.772920Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:a3f335a6cf7bd9685094654a8a681b708c7a7cd16e211a83bb7b957f82b84f2b","observation_id":"6b61cbb0-4472-488f-8ef7-2dd49342f0bc","resolution":{"observed_at":"2026-08-07T13:55:29.003205Z","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":"2304.12244","last_updated":"2025-05-27T06:49:09Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-04-24T16:31:06Z","title":"WizardLM: Empowering large pre-trained language models to follow complex instructions","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.12244","snapshot_observed_at":"2026-08-07T13:55:27.826791Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:27.826791Z"},"links":{"cited_paper":"/paper/2304.12244","citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:13c7b438a94fade394c436aa91a1e3d83afca05bf3e4a0630abb13c8582c8c58","observation_id":"bd37b689-34ee-4341-9b20-d58906fdfd0f","resolution":{"observed_at":"2026-08-07T13:55:27.826791Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:28.746348Z","title":null,"venue":null,"work_id":"5e9cce81-56e6-40e8-9722-0a7600923a1d","year":2024},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:27.885126Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:e27403122cf1c308d1cd9185ceeb6365e18d575e43352f9bef81f5dc910c06d1","observation_id":"02d9e3b3-e520-4775-92ec-7012d7152f99","resolution":{"observed_at":"2026-08-07T13:55:28.850525Z","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-08-07T13:55:28.551111Z","title":null,"venue":null,"work_id":"948edac3-cbf1-467a-be0d-dca8005d25c5","year":2023},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:27.940333Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:909f2eb38098bf785529873d73f756ac9c8fef77cb10f0ffc792bc93c9a89486","observation_id":"def1f7a6-c247-4e18-8031-045561bc18a4","resolution":{"observed_at":"2026-08-07T13:55:28.622311Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:27.989711Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:27.989711Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:8abf2626f0338f040663247f99b51f1bb26fa1fefab6121a563cdaa9cf69c991","observation_id":"35f11c5c-bc27-4f00-80cd-0fd998758a54","resolution":{"observed_at":"2026-08-07T13:55:27.989711Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:28.359053Z","title":null,"venue":null,"work_id":"1b0ff4f4-6e48-448a-9b43-5d8787c530b7","year":2010},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:28.052778Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:1ce48fa9915379e687710171bc3cd1ee6fe7f585a037e2ca8355c87064b47d26","observation_id":"1eedeb51-486f-47e0-a4fa-cf9c03ef4261","resolution":{"observed_at":"2026-08-07T13:55:28.456760Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:55:28.123795Z","title":"online\" 'onlinestring :=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:28.123795Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:f2e25c46758e57af198ce6e407b9fb922a15962e3a4fcd799b02bd6278232ded","observation_id":"1ff04e6e-5eac-434a-a8b2-d11e73cf190e","resolution":{"observed_at":"2026-08-07T13:55:28.123795Z","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-07T13:55:28.195122Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","version":2},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-07T13:55:28.195122Z"},"links":{"citing_paper":"/paper/2505.20658"},"observation_digest":"sha256:0627f7d4b3b05cf5f43404a6bba81bb3f881af24e7a298bf4624c2e4d080dbda","observation_id":"86b3db93-db25-4e24-bb20-eff6238befe8","resolution":{"observed_at":"2026-08-07T13:55:28.195122Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.20658","last_updated":"2025-07-24T09:02:40Z","latest_version":2,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-07T13:47:31.138300Z","submitted_at":"2025-05-27T03:07:25Z","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge"},"reference_resolution":{"displayed":42,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":38,"verified_exact":0,"verified_fuzzy":2},"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 8 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 2 inbound Pith citation observations for arXiv:2505.20658."}