{"as_of":"2026-08-13T04:38:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ca35452578aea13c7d39c7a6e02a7950b3f5e6ea1f8770b6d7ebc493966d16c4","coverage":[{"denominator":37,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":37,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T15:02:24.203108Z","state":"measured"},{"denominator":37,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":37,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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/2501.14649/citation-record","integrity":"/paper/2501.14649/integrity","json":"/paper/2501.14649/citation-record.json","paper":"/paper/2501.14649"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T15:02:23.981588Z","title":"online\" 'onlinestring :=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:23.981588Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:15519fd6a8125fb230fe74c45bc8d103083de5833d24b26411d888f47cbc551f","observation_id":"e9574e0d-b7cc-468d-8a19-8915cf45c4ff","resolution":{"observed_at":"2026-08-10T15:02:23.981588Z","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-10T15:02:23.988241Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:23.988241Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:aaecde5f808bfbbb548f106cab90d20ccba118ff5d2bf1d876a64b1bf9ee1bb5","observation_id":"d36a4435-3b2a-416b-a19e-027fdd736cd3","resolution":{"observed_at":"2026-08-10T15:02:23.988241Z","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-10T15:02:23.996333Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:23.996333Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:e9b46c183d755906edbabed9d60943b2307c1fafed37348fd61afb036c9350e4","observation_id":"8e752326-fa30-4934-af4b-07cc198a8864","resolution":{"observed_at":"2026-08-10T15:02:23.996333Z","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-10T15:02:24.007074Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.007074Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:683823907a2a1d9f920a9f6709ddce18bc0d1776ebefa8ae047543f811203f12","observation_id":"97d5e2b1-6c1e-4789-8cab-486edae25c82","resolution":{"observed_at":"2026-08-10T15:02:24.007074Z","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":"0296.81151","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T15:02:24.937789Z","title":"Chamberlin and Raymond F","venue":null,"work_id":"257264ab-d338-432d-83af-3c8cb206996c","year":1974},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.015432Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:5ce8ad1b7fea8fbe0aefe83d6a8bee63e92c8eb26570fdf1bcda6ec5ca2c36cf","observation_id":"6a8e6519-73cc-4279-86b7-b4f825504f01","resolution":{"observed_at":"2026-08-10T15:02:24.945898Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T15:02:24.021660Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.021660Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:ec4c514c6e8ea9bfd107ac32954f6f2f9edc7cf017184e4ec76d1681d2d3a469","observation_id":"55628512-48c8-4bd3-adae-0c25d7327026","resolution":{"observed_at":"2026-08-10T15:02:24.021660Z","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-10T15:02:24.028239Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.028239Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:7636d0d36ba8ba601e4b0bb1d34d3f8c7502c1a4bc03c58e4e27f3baba4edda5","observation_id":"ae40cd3b-744f-4fd4-a4fc-5d97c6fa69a1","resolution":{"observed_at":"2026-08-10T15:02:24.028239Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.02954","last_updated":"2024-01-05T18:59:13Z","snapshot_observed_at":"2026-08-10T17:03:38.042994Z","submitted_at":"2024-01-05T18:59:13Z","title":"DeepSeek LLM: Scaling Open-Source Language Models with Longtermism","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.02954","snapshot_observed_at":"2026-08-10T15:02:24.037473Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.037473Z"},"links":{"cited_paper":"/paper/2401.02954","citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:ce70a6fd8ec936423b50cf3668d7f9ea531ec255d41629a62e5d3ae65ec86881","observation_id":"a326e482-633b-4e26-838c-71a3fa33cd20","resolution":{"observed_at":"2026-08-10T15:02:24.037473Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2301.00234","last_updated":"2024-10-05T11:47:02Z","snapshot_observed_at":"2026-07-06T14:36:25.690733Z","submitted_at":"2022-12-31T15:57:09Z","title":"A Survey on In-context Learning","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2301.00234","snapshot_observed_at":"2026-08-10T15:02:24.047591Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.047591Z"},"links":{"cited_paper":"/paper/2301.00234","citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:58e217d818e7fd675d06094350fef9e5f2a45656d9af028f7d99aa718cceabe4","observation_id":"9b7e4fe6-9649-46d1-9082-0d97b57e1446","resolution":{"observed_at":"2026-08-10T15:02:24.047591Z","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-10T15:02:25.014079Z","title":null,"venue":null,"work_id":"d02087d7-0958-4c38-abbc-87866d4685ab","year":2017},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.053349Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:98db76c68f48ea35e1ce56f7bcf5934565b3b15ba1447a4cc273ca66d09dddcf","observation_id":"5a3d8646-ca68-4cda-8de2-aec2d3f197bb","resolution":{"observed_at":"2026-08-10T15:02:25.018980Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.21783","last_updated":"2024-11-23T23:27:33Z","snapshot_observed_at":"2026-08-10T16:40:37.411115Z","submitted_at":"2024-07-31T17:54:27Z","title":"The Llama 3 Herd of Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.21783","snapshot_observed_at":"2026-08-10T15:02:24.060213Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.060213Z"},"links":{"cited_paper":"/paper/2407.21783","citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:9f091ed4d44362c232f6108700c5779e9abcbb67b96dd2377e56f8d187ec41f8","observation_id":"34061c36-4896-483b-84d4-997ac8d22479","resolution":{"observed_at":"2026-08-10T15:02:24.060213Z","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-10T15:02:24.067357Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.067357Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:86e4530da3bc1938a11ddc6292595824deb9e3360bed2b78a43b2ca9aa53cf4b","observation_id":"bca8887f-f6f4-4b43-99a6-1c3afe8f4578","resolution":{"observed_at":"2026-08-10T15:02:24.067357Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.03050","last_updated":"2024-01-12T13:11:20Z","snapshot_observed_at":"2026-08-04T18:10:35.014524Z","submitted_at":"2022-10-06T16:53:33Z","title":"State-of-the-art generalisation research in NLP: A taxonomy and review","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.03050","snapshot_observed_at":"2026-08-10T15:02:24.072777Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.072777Z"},"links":{"cited_paper":"/paper/2210.03050","citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:a09aff2e02ab727d68dcccdc60b8e4ce57bdffe91ee4a16090c1121a04ed088a","observation_id":"17ad7fc0-3951-4f85-b9aa-800e87d323e3","resolution":{"observed_at":"2026-08-10T15:02:24.072777Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.04088","last_updated":"2024-01-08T18:47:34Z","snapshot_observed_at":"2026-08-08T06:16:25.839566Z","submitted_at":"2024-01-08T18:47:34Z","title":"Mixtral of Experts","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.04088","snapshot_observed_at":"2026-08-10T15:02:24.079246Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.079246Z"},"links":{"cited_paper":"/paper/2401.04088","citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:3b047b71e40d462fd36af9d5af5eec5b007cb53dbba453aedf291476895669a5","observation_id":"20474d53-7595-4eff-8b2d-dfcdd7145b07","resolution":{"observed_at":"2026-08-10T15:02:24.079246Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.00515","last_updated":"2024-11-10T22:02:27Z","snapshot_observed_at":"2026-07-29T20:40:25.374189Z","submitted_at":"2024-06-01T17:48:15Z","title":"A Survey on Large Language Models for Code Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.00515","snapshot_observed_at":"2026-08-10T15:02:24.085218Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.085218Z"},"links":{"cited_paper":"/paper/2406.00515","citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:facb7cd020681192246bd793131d70f445fcf97ce3d89277e03525731248054c","observation_id":"db758ff8-dff8-4f2c-a987-a58a8a5efc08","resolution":{"observed_at":"2026-08-10T15:02:24.085218Z","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-10T15:02:24.091563Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.091563Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:ed34b8f77c2e113bb743c9c4225f426b20a46f59893b2940e006442b69d0eb8c","observation_id":"15ce0974-48e0-4fd4-972e-dc57adb9fe0f","resolution":{"observed_at":"2026-08-10T15:02:24.091563Z","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-10T15:02:24.096827Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.096827Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:9e8bd6d9ffeb435f72d4b7da58509045d240a50dcb943520c6ccaccd8266e80e","observation_id":"8d3c1816-81d4-4c53-9031-3e1266301215","resolution":{"observed_at":"2026-08-10T15:02:24.096827Z","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-10T15:02:24.101789Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.101789Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:77c12cc9db630ebcab14446fad322da2f27ced7e3cc678f420b95812b1cd7042","observation_id":"a14b1721-2db3-4379-bc2b-3fe70bcbc6d9","resolution":{"observed_at":"2026-08-10T15:02:24.101789Z","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-10T15:02:24.106907Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.106907Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:347881a41a8a140a4659237a65eba3408bd495c9fbf41c01bf38167765902513","observation_id":"7ffafad8-751b-4c1d-b6dd-711cfd7eef03","resolution":{"observed_at":"2026-08-10T15:02:24.106907Z","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-10T15:02:24.112210Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.112210Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:8e3bdd3d0ca4dafa11c3afcc6178fb1736bee2982c9c0e5da18c6ad1bc5da0f5","observation_id":"d7cb0f3e-a561-4a0a-ad14-fe30a35a4414","resolution":{"observed_at":"2026-08-10T15:02:24.112210Z","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-10T15:02:24.117097Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.117097Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:3807c946d45233d753a340896c14c5f26cbc132b1abbf0c1d633a5ca6fc6f2d0","observation_id":"73090024-dcbd-4668-b2bc-89e9ace866cb","resolution":{"observed_at":"2026-08-10T15:02:24.117097Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.11451","last_updated":"2024-02-21T03:04:49Z","snapshot_observed_at":"2026-08-13T04:16:51.462224Z","submitted_at":"2024-02-18T04:19:44Z","title":"SciAgent: Tool-augmented Language Models for Scientific Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.11451","snapshot_observed_at":"2026-08-10T15:02:24.122061Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.122061Z"},"links":{"cited_paper":"/paper/2402.11451","citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:37863c025cc825b330e6e920f017f5465c1374dda50b016bfa5261dab401b3cb","observation_id":"f332a4b9-31fc-4b85-9227-5d8b61c61061","resolution":{"observed_at":"2026-08-10T15:02:24.122061Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.08269","last_updated":"2024-07-11T08:12:28Z","snapshot_observed_at":"2026-08-12T23:24:26.888456Z","submitted_at":"2024-07-11T08:12:28Z","title":"LLMs' morphological analyses of complex FST-generated Finnish words","version":1},"cited_work":{"arxiv_id":"2407.08269","doi":null,"metadata_source":"pith","pith_arxiv_id":"2407.08269","snapshot_observed_at":"2026-08-10T15:02:24.767446Z","title":"LLMs' morphological analyses of complex FST-generated Finnish words","venue":"cs.CL","work_id":"611312c7-22a4-4dcf-a4d4-cd6a6f55982f","year":2024},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.127227Z"},"links":{"cited_paper":"/paper/2407.08269","citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:a4a21ecad3e758218ce3bfff075b8c68758ed59a6fc1584c2b250df0c2cf2bae","observation_id":"bbb38dc4-0a86-42da-93da-ae7bc6a741b0","resolution":{"observed_at":"2026-08-10T15:02:24.773637Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3920.12839","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T15:02:24.741101Z","title":null,"venue":null,"work_id":"60b30bd3-78da-4a10-9f0f-2ef3b4587c6c","year":2007},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.133509Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:af455980da29c8a31c43bbd7526fe0703ffb8f0d0627d72de1e97da0e8e3c0c9","observation_id":"69f0db7f-74c6-4272-b5c5-40e98dfe787b","resolution":{"observed_at":"2026-08-10T15:02:24.748835Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"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-10T15:02:24.140010Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.140010Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:9367426e044a8052a7d4d606b68446ab926e15938e12948f3b19486e000789a2","observation_id":"a20ce5c8-9c4c-48d8-b056-e8e55ad67bca","resolution":{"observed_at":"2026-08-10T15:02:24.140010Z","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-10T15:02:24.974546Z","title":null,"venue":null,"work_id":"16e982c8-e7e9-4f85-8a75-557a46d2471c","year":1963},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.145524Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:0d709575601aebf809d31f2f0827ff7e4435e0dad7ecaa910c098bcedda2ed57","observation_id":"4726e1ff-bad4-497c-b594-9c0fdfec944a","resolution":{"observed_at":"2026-08-10T15:02:24.980895Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T15:02:24.958632Z","title":null,"venue":null,"work_id":"22bca9bb-7170-4a8b-9d4a-0c964faf2f08","year":1999},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.150362Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:e5a0f656ac8090bde7bb28edf25fcca417f453eb150269d4980a34b0b35d70ab","observation_id":"2e0d3f0b-fbf2-4fba-ad3e-d07db287030c","resolution":{"observed_at":"2026-08-10T15:02:24.963534Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5555/27647","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T15:02:24.296652Z","title":null,"venue":null,"work_id":"06146cfe-59b2-44e1-a3ab-7f98bee574f7","year":1987},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.156260Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:b3facd54c6d8f70a46109b45e4b487533b2a4336da72cdf91c8c92d12f200466","observation_id":"b3158004-ea47-4aaf-a82e-2931f8d2748d","resolution":{"observed_at":"2026-08-10T15:02:24.301444Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2021.acl-long.75","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T15:02:24.280497Z","title":null,"venue":null,"work_id":"3add81a7-0b38-4769-902f-76b8c293e69a","year":2021},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.161965Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:c79c806581eb63d860a16fb3693f8c8d6a2f57791115caacda2254b37d80a1e4","observation_id":"66d720ae-b658-4145-a6d6-f1508f4184a0","resolution":{"observed_at":"2026-08-10T15:02:24.285732Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2024.acl-long.666","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T15:02:24.262829Z","title":null,"venue":null,"work_id":"d0132408-5b85-4873-b41c-147e536b529b","year":2024},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.166796Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:88d9fe55d3b86c396c5919a0735c7f2e5f62e3c3a49d55cb7e699eac024e324c","observation_id":"4916ca73-8c58-4382-ae07-3351f4b5ceaf","resolution":{"observed_at":"2026-08-10T15:02:24.268689Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.15186","last_updated":"2025-06-03T14:40:01Z","snapshot_observed_at":"2026-08-12T23:36:42.395152Z","submitted_at":"2024-07-21T14:48:23Z","title":"A Survey on Employing Large Language Models for Text-to-SQL Tasks","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.15186","snapshot_observed_at":"2026-08-10T15:02:24.172451Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.172451Z"},"links":{"cited_paper":"/paper/2407.15186","citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:d1f138f96622cf9125b98230aaf81d9bcd90ffe6368ccb494a22b8db1ab1054a","observation_id":"2132bb8b-0d1f-4cbc-aa72-b68975552be1","resolution":{"observed_at":"2026-08-10T15:02:24.172451Z","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":"2019.29314","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T15:02:24.628633Z","title":null,"venue":null,"work_id":"8a6806f6-7814-4c4a-b309-1c3d04cf6142","year":2019},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.177513Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:266301d0664d95b89b4aca438cd9afd49b3a7250f284ac82444f2fa4596171ac","observation_id":"470f1e60-8fbb-46cd-9e49-afe0e848c051","resolution":{"observed_at":"2026-08-10T15:02:24.636471Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.18760","last_updated":"2024-04-02T03:25:04Z","snapshot_observed_at":"2026-08-13T00:43:39.226595Z","submitted_at":"2024-03-27T16:58:20Z","title":"MLDT: Multi-Level Decomposition for Complex Long-Horizon Robotic Task Planning with Open-Source Large Language Model","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.18760","snapshot_observed_at":"2026-08-10T15:02:24.182809Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.182809Z"},"links":{"cited_paper":"/paper/2403.18760","citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:2c93e926a37ab1adf53ce93564f3cfb2044d86aebafa866b6e6083fe84319715","observation_id":"5dd7b490-af30-4ae7-9279-c33a872e24f3","resolution":{"observed_at":"2026-08-10T15:02:24.182809Z","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-10T15:02:24.187897Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.187897Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:92435ba8bff9c4f8c726d34acefb5ae5afa9e95e7e84c9ed28f9a344808166d1","observation_id":"12984695-bd87-41eb-80ef-63a9f5d2cf63","resolution":{"observed_at":"2026-08-10T15:02:24.187897Z","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-10T15:02:24.193354Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.193354Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:44288fb0c7054ce71e9a280df0d686a7a7bf023c0db116f542d3f7681af69cdc","observation_id":"03c37fa1-cc0f-49c5-a637-f50adfcdd15e","resolution":{"observed_at":"2026-08-10T15:02:24.193354Z","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-10T15:02:24.198413Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.198413Z"},"links":{"citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:a97a5a4f0e73e92dcd8d6467e650b18a563d838c25fbe8c2fee08d7fbeb29e9f","observation_id":"6c26b145-aa49-4a53-ac83-46bba1907442","resolution":{"observed_at":"2026-08-10T15:02:24.198413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2006.11056","last_updated":"2020-06-19T10:21:17Z","snapshot_observed_at":"2026-08-09T15:07:46.447608Z","submitted_at":"2020-06-19T10:21:17Z","title":"A Survey of Syntactic-Semantic Parsing Based on Constituent and Dependency Structures","version":1},"cited_work":{"arxiv_id":"2006.11056","doi":null,"metadata_source":"pith","pith_arxiv_id":"2006.11056","snapshot_observed_at":"2026-08-10T15:02:24.418819Z","title":"A Survey of Syntactic-Semantic Parsing Based on Constituent and Dependency Structures","venue":"cs.CL","work_id":"accc3e37-eaf5-409b-a78e-45bfbe7de506","year":2020},"citing_paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-10T15:02:24.203108Z"},"links":{"cited_paper":"/paper/2006.11056","citing_paper":"/paper/2501.14649"},"observation_digest":"sha256:00b181ba0783951c90318eed50eda70bb485ec113127fe17846214f1e55f3429","observation_id":"5abf5cef-e0b0-4636-b379-2ea84d9fd12b","resolution":{"observed_at":"2026-08-10T15:02:24.425828Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.14649","last_updated":"2025-02-21T06:12:55Z","latest_version":2,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-12T23:36:59.700025Z","submitted_at":"2025-01-24T17:15:09Z","title":"Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion"},"reference_resolution":{"displayed":37,"state_counts":{"malformed_identifier":1,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":29,"verified_exact":4,"verified_fuzzy":0},"total_outbound_references":37},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 0 inbound Pith citation observations for arXiv:2501.14649."}