{"as_of":"2026-08-12T03:09:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:80db56102d86a76c7f5c7ffc5ba813ff886928e58f1051e842cafcfd89914e07","coverage":[{"denominator":104,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T14:34:29.633526Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.20432/citation-record","integrity":"/paper/2607.20432/integrity","json":"/paper/2607.20432/citation-record.json","paper":"/paper/2607.20432"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T14:34:17.326243Z","title":"2018 , eprint=","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:17.326243Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:e75f674675299537061f0d5b7dbcc55a64637ae56b0bca7184afd43af08405c9","observation_id":"a8370e11-eb28-4bd4-b5cc-a189b1d18c51","resolution":{"observed_at":"2026-08-02T14:34:17.326243Z","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-02T14:34:17.381463Z","title":"European Semantic Web Conference , pages=","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:17.381463Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:c76eec28d04063d94262bb3dfdba3e9dca82d76e5d193667113e50384f402cb5","observation_id":"818ac2e6-d398-4ef8-a510-77dacc132e31","resolution":{"observed_at":"2026-08-02T14:34:17.381463Z","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-02T14:34:17.456419Z","title":", title =","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:17.456419Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:5fb4d8e2627de57c8546a64c44e08da3bd5291763f669ab1ba9fc3833745d7f1","observation_id":"d4ba4ae1-218c-4bc6-9a72-0b91094fb4e6","resolution":{"observed_at":"2026-08-02T14:34:17.456419Z","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-02T14:34:17.524781Z","title":"Bell system technical journal , volume=","venue":null,"work_id":null,"year":1951},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:17.524781Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:5dfef696e9837fd1d3eeb72ed188914069779c251238fdb255fdfb4efaf5540c","observation_id":"f1b46952-21eb-41ef-ab65-2647258cd71b","resolution":{"observed_at":"2026-08-02T14:34:17.524781Z","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-02T14:34:17.612434Z","title":"The Twelfth International Conference on Learning Representations , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:17.612434Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:fec13cfbf61c0240575bf4255ab567955fee846fb9d7b9cee32ce0367f2e7087","observation_id":"6192e77a-5a4a-4a30-a555-d8f440c6a03e","resolution":{"observed_at":"2026-08-02T14:34:17.612434Z","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-02T14:34:17.677094Z","title":"1969 , publisher=","venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:17.677094Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:6c5449f646201e70ced72b1395fb7d278aa8cd01e6705294799783a4cc623324","observation_id":"14dc501a-5c0d-4883-9f48-7c53a1870446","resolution":{"observed_at":"2026-08-02T14:34:17.677094Z","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-02T14:34:17.782292Z","title":"A Survey on LLM s for Story Generation","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:17.782292Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:2e4a2a64d21d2a04acebf4c18e97bf033ffab7bb20e62c6291ea30e8ec83cd9e","observation_id":"ccac4f8b-5490-4cea-9272-d4f208b011b6","resolution":{"observed_at":"2026-08-02T14:34:17.782292Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2024.findings-acl.93","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Controllable Text Summarization: Unraveling Challenges, Approaches, and Prospects - A Survey","venue":null,"work_id":"b0fee6e0-b7fa-45e9-a568-efb12e8de67b","year":2024},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:17.882319Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:b9787dd28f47188477a444950b5484c57bee7a1aba9d11d9fd2f538ba04abb21","observation_id":"3603aa4d-1964-44a4-b6be-eedb3e63ab14","resolution":{"observed_at":"2026-08-02T14:38:21.805471Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-02T14:34:18.029827Z","title":"2025 , eprint=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:18.029827Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:35d0ddb3d306cd5a6b15068b9cb0895b2fa7e0fb5f4c9dc0d99122e5688d290e","observation_id":"e9e87a21-2afd-41da-a5b6-d157a860617f","resolution":{"observed_at":"2026-08-02T14:34:18.029827Z","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-02T14:34:18.136067Z","title":"Navigating the Path of Writing: Outline-guided Text Generation with Large Language Models","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:18.136067Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:de52e064daebe06295e8e66993fdc914e428c8e71806e8d4679c12ce40647d58","observation_id":"320d0f71-2608-4138-91af-3ac4cc96d9da","resolution":{"observed_at":"2026-08-02T14:34:18.136067Z","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-02T14:34:18.284286Z","title":"2026 , eprint=","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:18.284286Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:433b7687d29be8766ffbf1c8900523bfcf09b634f0d5ae61ad8857f5fe61c387","observation_id":"1b667a3b-2c1d-4c1c-a108-64e896680ada","resolution":{"observed_at":"2026-08-02T14:34:18.284286Z","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-02T14:34:18.369127Z","title":"Assessing the Performance of AI-Generated Code: A Case Study on GitHub Copilot , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:18.369127Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:791156cb3b3d82fbd76c2a20b12c991042950602eee945ec42f8051c5be44d45","observation_id":"ce0f7dfb-78fc-4543-b593-5a5ccca25871","resolution":{"observed_at":"2026-08-02T14:34:18.369127Z","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-02T14:34:18.448577Z","title":"2025 , eprint=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:18.448577Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:f546f8c8b07b24e156edaa0e82594937e3c0123ab006f027dfb964d5ccafe1de","observation_id":"5419102f-cc45-4222-a16d-03c612df26c6","resolution":{"observed_at":"2026-08-02T14:34:18.448577Z","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-02T14:34:18.557222Z","title":"CoRR , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:18.557222Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:82d2312ab2ab1ad86cde1eac440aa790e36b32545444ab8a9db2e6881f27d1e5","observation_id":"28e72d1f-fc0e-4c21-9835-73ac8133c5e4","resolution":{"observed_at":"2026-08-02T14:34:18.557222Z","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-02T14:34:18.693828Z","title":"IEEE Access , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:18.693828Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:3d08774227d224b900b8aca63bf2ec1e15e8f5cfeb9085fce0de253140fdfffb","observation_id":"55862675-921e-4185-b02f-3bb720281564","resolution":{"observed_at":"2026-08-02T14:34:18.693828Z","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-02T14:34:18.806611Z","title":"Computer , volume=","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:18.806611Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:bea67e181bd69ec4e31c573ee9d0f9b9467c2eb9d1162b0c5e71a511b1c5915c","observation_id":"e60eee96-32b4-41c4-9207-d00fc80d3e3e","resolution":{"observed_at":"2026-08-02T14:34:18.806611Z","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-02T14:34:18.810951Z","title":"arXiv preprint arXiv:2512.07702 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:18.810951Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:9f039b90668fdc28313017fa6b9375d60bd01cc7a67ad29022c069294ba35541","observation_id":"213ae560-93d1-4f25-aa8a-e0b5a30ecb69","resolution":{"observed_at":"2026-08-02T14:34:18.810951Z","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-02T14:34:18.864104Z","title":"european conference on computer vision , pages=","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:18.864104Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:0a9c8c418864b18214ba137eb375806c50cf34f250a736dbe4058282eb4a5941","observation_id":"713620e9-382a-4ee1-bf54-fcd69f940127","resolution":{"observed_at":"2026-08-02T14:34:18.864104Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3729220","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"and Kee, Kerk and Zampieri, Marcos and Calyam, Prasad , title =","venue":"ACM Computing Surveys","work_id":"dc1b38ea-7100-437c-95b3-53f75b5e23c2","year":2025},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:18.941986Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:811f18f73bbb40c22dd8c0865626037a89255d352ae6df2ffda20b853871a5d6","observation_id":"e32e4bbd-99dc-49fb-bb57-142547b3268a","resolution":{"observed_at":"2026-08-02T14:38:21.722963Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-02T14:34:19.008929Z","title":"Communications of the ACM , volume=","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:19.008929Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:45a8397d857ddb06a3c08b484e4649d8ec07ea8e60228e018712dd833ad3311b","observation_id":"0135fb5c-6837-4322-adea-2e7dfbe46ea2","resolution":{"observed_at":"2026-08-02T14:34:19.008929Z","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-02T14:34:19.094502Z","title":", author=","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:19.094502Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:a639fd3f28e473df2d66389f8a943f455eeafbd6d92d77ffbc253e984d94c605","observation_id":"bb98457b-c616-472e-86e2-d08b9db41b34","resolution":{"observed_at":"2026-08-02T14:34:19.094502Z","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-02T14:34:19.164075Z","title":"Nouns are Vectors, Adjectives are Matrices: Representing Adjective-Noun Constructions in Semantic Space","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:19.164075Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:fa3c2e0e6a176d8b953446b9143a0f7e3efab06164671e011a2ec9b3d07574f8","observation_id":"eb20fed0-b875-4bc1-a35b-c8d0510a896d","resolution":{"observed_at":"2026-08-02T14:34:19.164075Z","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-02T14:34:19.289388Z","title":"Cognitive science , volume=","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:19.289388Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:83660b8790dd8f1681719f8b94ea95dd4c12af232862ef6fe4dc7bd64fb1b6ff","observation_id":"3c181991-9bbd-47d8-8759-49d190126c30","resolution":{"observed_at":"2026-08-02T14:34:19.289388Z","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-02T14:34:19.399120Z","title":"Frontiers in Communication , volume=","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:19.399120Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:04d3ea839d28ca5c020517d331b8d105f70f93bca725581d63f505651c50bea1","observation_id":"8789cbf5-cba2-41a2-bea5-fade87fdd433","resolution":{"observed_at":"2026-08-02T14:34:19.399120Z","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-02T14:34:19.496996Z","title":"Journal of semantics , volume=","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:19.496996Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:a97a1e1ac800425ce082be9ed339b3b833ae59a91abfb18eaa87ec870a940975","observation_id":"66966946-3428-4ea6-8606-6089d09b8c4e","resolution":{"observed_at":"2026-08-02T14:34:19.496996Z","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-02T14:34:19.648981Z","title":"Research on language and computation , volume=","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:19.648981Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:f2adcf23073738deff02289133eae2391320d34076351d27e7b220e002cfd228","observation_id":"b2279280-53fe-4824-9424-2b97f9caeb85","resolution":{"observed_at":"2026-08-02T14:34:19.648981Z","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-02T14:34:19.813132Z","title":"Language and linguistics compass , volume=","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:19.813132Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:18f43be9ae74770d5fa9c040ffc20fb58bfc6ea7a53878d422de8c42fdd8eebb","observation_id":"5ea20ac9-10cd-4d1f-b6fc-a68e6daa63fe","resolution":{"observed_at":"2026-08-02T14:34:19.813132Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"cmp-lg/9505034","last_updated":"1995-05-16T20:30:45Z","snapshot_observed_at":"2026-08-04T06:47:00.534305Z","submitted_at":"1995-05-16T20:30:45Z","title":"Semantic Ambiguity and Perceived Ambiguity","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"cmp-lg/9505034","snapshot_observed_at":"2026-08-02T14:34:19.921225Z","title":"arXiv preprint cmp-lg/9505034 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:19.921225Z"},"links":{"cited_paper":"/paper/cmp-lg/9505034","citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:6e20a7c5c944d026eb8082743d8ab72b3f475eab354e29999b3c734dfb18d745","observation_id":"bc749480-c197-4fee-bd07-8eff551653f9","resolution":{"observed_at":"2026-08-02T14:34:19.921225Z","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-02T14:34:20.033036Z","title":"Logic, language and computation , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:20.033036Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:af94d01b964f8923410722b00dd78422ebada6544c9e980546d0e3f13e9f1a60","observation_id":"5fe06064-1daa-4e23-8ad9-23804a2014c2","resolution":{"observed_at":"2026-08-02T14:34:20.033036Z","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-02T14:34:20.131345Z","title":"2000 , publisher=","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:20.131345Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:4197a2b7d243a37024c8a6542b7388d6ca9d4feddad06c9e108c63a9f56ee75d","observation_id":"2b68004c-aa8c-4ed2-bf49-e20183d829ae","resolution":{"observed_at":"2026-08-02T14:34:20.131345Z","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-02T14:34:20.227752Z","title":"Semantics and Pragmatics , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:20.227752Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:504cda84a00718c930ce45a0cb5c6c8b0457d77a5400bdf958b759354850f5eb","observation_id":"badf85ce-df39-4de7-ae81-9cecf8655bdd","resolution":{"observed_at":"2026-08-02T14:34:20.227752Z","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-02T14:34:20.332195Z","title":"Language , pages=","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:20.332195Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:f20c993f36d4051f069be924368fe7a5a966b260a5efc824fdf3248f11bdd746","observation_id":"315c960c-f394-4601-9a13-d7a56760b6d2","resolution":{"observed_at":"2026-08-02T14:34:20.332195Z","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-02T14:34:20.447930Z","title":"2007 , publisher=","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:20.447930Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:f42bf4a59d0877ddb30c6424f5b98a91a652abf9d0534b42a5c72696c8357018","observation_id":"87203d50-70ce-4dc2-977b-8daef6890daf","resolution":{"observed_at":"2026-08-02T14:34:20.447930Z","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-02T14:34:20.540935Z","title":"2008 , publisher=","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:20.540935Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:1a11987fca34182f1411be80fdc27b3c4a6ab6bdf5d881100feb45835f62e310","observation_id":"8293ff87-4825-4786-8d3e-15051a2236d5","resolution":{"observed_at":"2026-08-02T14:34:20.540935Z","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-02T14:34:20.658392Z","title":"1996 , publisher=","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:20.658392Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:89e25fb886d22d7e5b844b1b0437a55ad5792f650e4e3b4bb7da2c512bdcfd84","observation_id":"9a0026a2-84f5-4aa2-a342-051285833b3d","resolution":{"observed_at":"2026-08-02T14:34:20.658392Z","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-02T14:34:20.774521Z","title":"1986 , publisher=","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:20.774521Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:3a2821719f7faa5b61ef259a1bc4d449c5637b797c2235da5335c33ce6e6a12d","observation_id":"a0fc4bf5-2bfd-45e4-ae40-544017cf8f7d","resolution":{"observed_at":"2026-08-02T14:34:20.774521Z","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-02T14:34:20.861214Z","title":"2007 , publisher=","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:20.861214Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:4fb77c6422ed5ce5331bb92aa60d4a2229dcadad13d6993cfc31c0486385e3e7","observation_id":"e05d5f0b-9510-4238-8793-4900d9027a71","resolution":{"observed_at":"2026-08-02T14:34:20.861214Z","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-02T14:34:20.954092Z","title":"The Journal of Logic Programming , volume=","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:20.954092Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:e3d5028021bf8b60f987590cf7a9deba1d808d5a54487f73c98b556ff6806a11","observation_id":"59118c66-be69-48e6-a5ae-6f5889362e08","resolution":{"observed_at":"2026-08-02T14:34:20.954092Z","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-02T14:34:21.062391Z","title":"1987 , school=","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:21.062391Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:f109214031cc2078fcb105891635483cb359befe348146d5aa44e218fb6619de","observation_id":"ad909c0e-1b2c-4a74-8318-dc51322705a9","resolution":{"observed_at":"2026-08-02T14:34:21.062391Z","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-02T14:34:21.173999Z","title":"Artificial intelligence , volume=","venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:21.173999Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:b36acacd57e6cd38145d9b05426310c5f311cb879be65452efa8ba02567c0a74","observation_id":"efd3c6b6-7a9c-4ae9-8753-87d561a3d570","resolution":{"observed_at":"2026-08-02T14:34:21.173999Z","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-02T14:34:21.267988Z","title":"2009 , publisher=","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:21.267988Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:481af3ce441ebf176ab4f18c772b093004e203bdcbe55f8b2f94fe464a2111e6","observation_id":"f17f3293-285c-48d7-b4fd-84590df02b4c","resolution":{"observed_at":"2026-08-02T14:34:21.267988Z","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-02T14:34:21.478523Z","title":"1998 , publisher=","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:21.478523Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:5ff47f77c905c305fc44e41468e8254bb616d87c7a0210e4407c2f2a8b5af16c","observation_id":"b557f592-97c4-4648-a358-6a3074f7a153","resolution":{"observed_at":"2026-08-02T14:34:21.478523Z","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-02T14:34:21.644173Z","title":", biburl =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:21.644173Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:d12ef6a78f3a4b0f47f28fd16149c29e482b0966b88b188961ee7b7332b14213","observation_id":"9bee7c90-b02f-41e6-a3a7-cef9b7d98371","resolution":{"observed_at":"2026-08-02T14:34:21.644173Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2021.emnlp-main.63","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"T he W orld of an O ctopus: H ow R eporting B ias I nfluences a L anguage M odel ' s P erception of C olor","venue":"Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing","work_id":"e09f2152-614d-4ec2-9576-cc71b205c51e","year":2021},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:21.812231Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:7a311801f2bcd15da3a9d32c748ab658dab7b8f4daa96c0c043e40e3b6c595e7","observation_id":"ea9a62d5-d64a-4d9e-b84a-bcd85cfb789c","resolution":{"observed_at":"2026-08-02T14:38:21.592432Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-02T14:34:21.980441Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:21.980441Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:246c11d3e5a7fbab3be2d84c24ab0251609752bea9920917c306da4ec7ac78a3","observation_id":"8b63ece5-3986-487d-95ca-f0185d4e42a1","resolution":{"observed_at":"2026-08-02T14:34:21.980441Z","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-02T14:34:22.092377Z","title":"The Bell system technical journal , volume=","venue":null,"work_id":null,"year":1948},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:22.092377Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:a7ed8315026d23a205668c98e5d4061f5e332d5f433d50c5cd7321ee1877e8ec","observation_id":"f71544c6-4a93-4cdf-b25d-3d6a37705c5e","resolution":{"observed_at":"2026-08-02T14:34:22.092377Z","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-02T14:34:22.254513Z","title":"Proceedings of the IEEE/CVF conference on computer vision and pattern recognition , pages=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:22.254513Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:701dbfd46bb086c85d0c856e4219dbcb75faacf13da558414ae68348098752c3","observation_id":"a44b8917-36c7-468b-b8c4-4d6326735262","resolution":{"observed_at":"2026-08-02T14:34:22.254513Z","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-02T14:34:22.379394Z","title":"Proceedings of the 2023 AAAI/ACM Conference on AI, Ethics, and Society , pages=","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:22.379394Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:b281690cd848ea493c1c4b304b522da4460c40a686a9594412763536b8d15cfb","observation_id":"d673f487-30cd-45fd-86ab-d2fbbbc2331a","resolution":{"observed_at":"2026-08-02T14:34:22.379394Z","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-02T14:34:22.527584Z","title":"Artificial intelligence review , volume=","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:22.527584Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:3d8dbd3b1a06cc8c45c53730ee7b2dcee6737959673ab212051f7b110d2730ed","observation_id":"c26d989f-7c9c-4999-aae2-41dda3969119","resolution":{"observed_at":"2026-08-02T14:34:22.527584Z","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-02T14:34:22.694374Z","title":"Companion Publication of the 2024 Conference on Computer-Supported Cooperative Work and Social Computing , pages=","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:22.694374Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:063f7b32fe63bdef8e802438f96bdb98402d9646a5d790667653e65e27d2dc95","observation_id":"ddf478d2-0ed2-431e-a70d-cda356d878fa","resolution":{"observed_at":"2026-08-02T14:34:22.694374Z","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-02T14:34:22.862261Z","title":"Patterns , volume=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:22.862261Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:db2defb88596f173247b0d44c30da25232f1757e3e8938785813049b6dbcb836","observation_id":"cb0bdf12-6481-4f9b-99d8-909fb33def82","resolution":{"observed_at":"2026-08-02T14:34:22.862261Z","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-02T14:34:22.975843Z","title":"Transactions of the Association for Computational Linguistics , volume=","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:22.975843Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:3148c2cb52d8688b9937ba942c36956cf69f78a6735639245ddbd60973812a4d","observation_id":"b622cec5-6000-439d-9b93-1508a974e603","resolution":{"observed_at":"2026-08-02T14:34:22.975843Z","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-02T14:34:23.138013Z","title":"Advances in Neural Information Processing Systems , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:23.138013Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:6901d0ce834facd76578e57b66a02e590deed332b10f5682bd3ba93a754b2d81","observation_id":"bfc5216a-bb77-4b53-9d49-13cb80d416e3","resolution":{"observed_at":"2026-08-02T14:34:23.138013Z","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-02T14:34:23.249824Z","title":"An invitation to cognitive science: Language , volume=","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:23.249824Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:3bc547ebac0f9852970240b355dce25a35e5b75c17c9d7e748502bfc9307f707","observation_id":"4d7ba50c-0352-4289-a15d-44f5fda5754a","resolution":{"observed_at":"2026-08-02T14:34:23.249824Z","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-02T14:34:23.372275Z","title":"Topoi , volume=","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:23.372275Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:e4707844a02d2e4f29ce99ee302484c94624cf867546dbd06ed99f766fe117ea","observation_id":"52391f53-0538-44c1-9bd8-86325e76bc08","resolution":{"observed_at":"2026-08-02T14:34:23.372275Z","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-02T14:34:23.376970Z","title":"2023 IEEE 31st International Conference on Network Protocols (ICNP) , pages=","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:23.376970Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:b676cd1dc2eebf429f78255559bd11dcef5870b6cca9d401c9b3d9214e5d0c97","observation_id":"dea1537e-53bd-413a-9bb3-3848c6592d80","resolution":{"observed_at":"2026-08-02T14:34:23.376970Z","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-02T14:34:23.379451Z","title":"2021 IEEE International Symposium on Information Theory (ISIT) , pages=","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:23.379451Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:0f18c3fdfaa25dbfc2581397964dd505d697ffe243c99859e8bca3422ef43a69","observation_id":"c4713739-7a5f-4956-b72d-7b7611666912","resolution":{"observed_at":"2026-08-02T14:34:23.379451Z","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-02T14:34:23.381917Z","title":"Software: Practice and Experience , volume=","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:23.381917Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:39f379338b393a32af676dd49ea5eaaf92d0134055f49d8c5d836bfeea7542c6","observation_id":"19a4bced-1175-499d-a53f-2287f192485b","resolution":{"observed_at":"2026-08-02T14:34:23.381917Z","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-02T14:34:23.384453Z","title":"Program Verification: Fundamental Issues in Computer Science , pages=","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:23.384453Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:91b2bccce2b3548e691ee83011456453489c77e76c9fbabcbb054b248191cacb","observation_id":"d18421d9-ba4f-46da-9cbc-e51d7bdf6360","resolution":{"observed_at":"2026-08-02T14:34:23.384453Z","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-02T14:34:23.823382Z","title":"Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference Frontiers , pages=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:23.823382Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:7bfdb8694a5ba7056217dcf08a74194bbe61ff5a3ac30450526835cf034dda07","observation_id":"4bfc86f7-c727-45c6-9db1-0279be98ebd3","resolution":{"observed_at":"2026-08-02T14:34:23.823382Z","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-02T14:34:23.987315Z","title":"2021 , eprint=","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:23.987315Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:88e00bd77db7c51b986bef180633da7fe1d331176c44fd1233d20fa33623e436","observation_id":"48d82ab5-29d7-427f-a616-ff7e0b2dcbfc","resolution":{"observed_at":"2026-08-02T14:34:23.987315Z","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-02T14:34:24.154993Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:24.154993Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:546a77e9f3381aa8fc8958be60f61530a2dcc07b5a63f2f1b0a77aadb619d406","observation_id":"c460d03b-292a-4b2a-a9e0-5da7c66bfdd4","resolution":{"observed_at":"2026-08-02T14:34:24.154993Z","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-02T14:34:24.377482Z","title":"Mind , volume=","venue":null,"work_id":null,"year":1951},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:24.377482Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:50868dd67395e3ed531970209c3ab731a6c4fd360657ba680da2c240763290e6","observation_id":"8b47dab4-0334-4cb4-85d7-07e8649408d4","resolution":{"observed_at":"2026-08-02T14:34:24.377482Z","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-02T14:34:24.543121Z","title":"Scientific American , volume=","venue":null,"work_id":null,"year":1960},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:24.543121Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:c2d3029b344a749665906ab02b0abccdb90c9f839c9d0d14f7dd48e9d123ddd8","observation_id":"07d75d5e-4dad-4b8e-aaea-0b8ae5bce681","resolution":{"observed_at":"2026-08-02T14:34:24.543121Z","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-02T14:34:24.698067Z","title":"Cognitive science , volume=","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:24.698067Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:19368bca61fa14c100d8c3ffe0f2624592745ad70d86be94d21d202dbe7a85ec","observation_id":"f58cddf2-f97e-496e-8528-b0915530e723","resolution":{"observed_at":"2026-08-02T14:34:24.698067Z","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-02T14:34:24.925642Z","title":"2025 , eprint=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:24.925642Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:a01ff26557fa37b3ada1fdcc834d855115020a9a70e37eda09255be90a6d53a9","observation_id":"668ece28-454e-4da7-b9f3-e96f866797ab","resolution":{"observed_at":"2026-08-02T14:34:24.925642Z","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-02T14:34:25.125405Z","title":"ACM Computing Surveys (CSUR) , volume=","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:25.125405Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:19c0307c77f666d88244766d9533b9aaae150c8904953f45351bcf25cd6b33ba","observation_id":"6fd091ac-4d47-453a-9a0e-96e4be2779a9","resolution":{"observed_at":"2026-08-02T14:34:25.125405Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2301.11325","last_updated":"2023-01-26T18:58:53Z","snapshot_observed_at":"2026-07-06T14:45:00.730733Z","submitted_at":"2023-01-26T18:58:53Z","title":"MusicLM: Generating Music From Text","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2301.11325","snapshot_observed_at":"2026-08-02T14:34:25.344037Z","title":"arXiv preprint arXiv:2301.11325 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":68,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:25.344037Z"},"links":{"cited_paper":"/paper/2301.11325","citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:8a9d7d79b15e7aeeda66fcc7b29516ea76b4ffa6486c1b3464654a179a3eb1b3","observation_id":"64c5a073-23d8-4152-acf2-3b5b2a9a8734","resolution":{"observed_at":"2026-08-02T14:34:25.344037Z","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-02T14:34:25.519515Z","title":"Language to Logical Form with Neural Attention","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":69,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:25.519515Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:df998507e43378aca1dee009f4df055e58b3dfffe62f8ef8198d6b6925e9908b","observation_id":"056e0ceb-2517-429c-a112-0356b4968285","resolution":{"observed_at":"2026-08-02T14:34:25.519515Z","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-02T14:34:25.626368Z","title":"Proceedings of the 2022 CHI conference on human factors in computing systems , pages=","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:25.626368Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:f62362d23f6bb00772502e58d19b6a4c79b351dc8f20af666c06f271f2107261","observation_id":"daa2b3e9-a28b-4257-a2ec-e5212357155c","resolution":{"observed_at":"2026-08-02T14:34:25.626368Z","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-02T14:34:25.841591Z","title":"Behaviour & Information Technology , volume=","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":71,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:25.841591Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:8a13de1f68ffab8dbf5dfbe11e219f78b5513c262acdd1645b1c9f686aec1417","observation_id":"eca059c1-1872-405c-9388-6d7f111fa77b","resolution":{"observed_at":"2026-08-02T14:34:25.841591Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2023.emnlp-main.253","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Human Learning by Model Feedback: The Dynamics of Iterative Prompting with Midjourney","venue":null,"work_id":"36672bd0-aa4f-4366-a67d-d2cb53732899","year":2023},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":72,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:26.014536Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:283da60ddcaab581ff2df62a34803382a7bd22d105fd0ae423620e11151b62d8","observation_id":"eb9a570c-9765-4692-a992-f28b82f1f658","resolution":{"observed_at":"2026-08-02T14:38:21.499020Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2204.06125","last_updated":"2022-04-13T01:10:33Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-04-13T01:10:33Z","title":"Hierarchical Text-Conditional Image Generation with CLIP Latents","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2204.06125","snapshot_observed_at":"2026-08-02T14:34:26.237871Z","title":"arXiv preprint arXiv:2204.06125 , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":73,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:26.237871Z"},"links":{"cited_paper":"/paper/2204.06125","citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:ad0da8257760686a3aa942945c892c13734a2e30452e748cd9de70cc1377e2e2","observation_id":"9e823739-7ba3-417a-803f-a241d78c1901","resolution":{"observed_at":"2026-08-02T14:34:26.237871Z","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-02T14:34:26.429730Z","title":"Advances in neural information processing systems , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":74,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:26.429730Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:67067d1a464218df350e190c71ff3257901e48c55fd5e55248dabf667f7de5c8","observation_id":"05b8754c-4c4c-4d02-a0c1-580f28fbb03c","resolution":{"observed_at":"2026-08-02T14:34:26.429730Z","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-02T14:34:26.579428Z","title":"Information Technology & People , volume=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":75,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:26.579428Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:ddc01e57e4241131ca5b3f45ace3603d5a2c324098a4dd7de969c010c7061fb6","observation_id":"ef7ab5fe-4d61-455f-827d-42b9fb57a2c6","resolution":{"observed_at":"2026-08-02T14:34:26.579428Z","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-02T14:34:26.742426Z","title":"Proceedings of the 26th International Conference on Intelligent User Interfaces , pages=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":76,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:26.742426Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:1498d0ca52244ead13f8c09059d39d920606a9d5ac60b4bbf099c0994ec91a13","observation_id":"12ba7172-5853-40a3-8819-ef9ae7c3abe9","resolution":{"observed_at":"2026-08-02T14:34:26.742426Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.06770","last_updated":"2024-11-11T23:05:04Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-10-10T16:47:29Z","title":"SWE-bench: Can Language Models Resolve Real-World GitHub Issues?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.06770","snapshot_observed_at":"2026-08-02T14:34:26.917846Z","title":"arXiv preprint arXiv:2310.06770 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":77,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:26.917846Z"},"links":{"cited_paper":"/paper/2310.06770","citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:fa2c861dcb4cb9970bb77981f68cc55cdbf3fb39d42a96f612d8d18789ef4cec","observation_id":"a8f120f1-65d2-4e70-b014-40cf2f1e60c8","resolution":{"observed_at":"2026-08-02T14:34:26.917846Z","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-02T14:34:27.098127Z","title":"2012 , publisher=","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":78,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:27.098127Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:05afa3954153fa2f19658ba4111a284b2f412dc88e8b8038028a4e4e72acf450","observation_id":"d3b06259-de37-4229-be3b-872f51a8f4bd","resolution":{"observed_at":"2026-08-02T14:34:27.098127Z","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-02T14:34:27.228760Z","title":"Cross-Task Generalization via Natural Language Crowdsourcing Instructions","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":79,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:27.228760Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:18214b9580651bf0867fed74c6980f5844c0a73e0a85ac134c79787ea1c479c3","observation_id":"f6ec8416-99f8-4c5d-aea6-9e1b4368ed66","resolution":{"observed_at":"2026-08-02T14:34:27.228760Z","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-02T14:34:27.342793Z","title":"Trends in cognitive sciences , volume=","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":80,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:27.342793Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:a6ba4d84edabb5a58faa7e3c74096a13df7905b9ff24e126d2ef884f87515005","observation_id":"0c03ca21-5fe0-4dc3-80b6-7e09b913cd43","resolution":{"observed_at":"2026-08-02T14:34:27.342793Z","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-02T14:34:27.460325Z","title":"1999 , publisher=","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":81,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:27.460325Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:8be64f1fb241ecf302663a856dd7967b3a9a84a6d637bbca4bd01978531c8b06","observation_id":"30912f6e-1cdf-4f4b-b7b1-806e6c1eb7ea","resolution":{"observed_at":"2026-08-02T14:34:27.460325Z","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-02T14:34:27.539749Z","title":"Proceedings of the ACM on Programming Languages , volume=","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":82,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:27.539749Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:48b43afbac257aa890b4c8169510ae6e4572ab03379c7a95c486ae8136b10039","observation_id":"8986ca48-a899-480b-a58b-b83428da2861","resolution":{"observed_at":"2026-08-02T14:34:27.539749Z","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-02T14:34:27.616527Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":83,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:27.616527Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:9c848d8644739f2d6edbf277c992638510bec60cda5b44b01997c50b104ef743","observation_id":"c9fe0d72-1c49-42d2-a0b9-b0e01d940f7b","resolution":{"observed_at":"2026-08-02T14:34:27.616527Z","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-02T14:34:27.731788Z","title":"arXiv preprint arXiv:2406.00515 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":84,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:27.731788Z"},"links":{"cited_paper":"/paper/2406.00515","citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:0de257d7642decc0c4a706f1a188052aa163e29558d2f939a15df88822cfe36d","observation_id":"5b3823ae-a9db-4be4-9ff7-216ba3ae99f0","resolution":{"observed_at":"2026-08-02T14:34:27.731788Z","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-02T14:34:27.837480Z","title":"ACM Transactions on Software Engineering and Methodology , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":85,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:27.837480Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:82db0aa05483bae5b7ce10db11a7ac6373c08f4642bcc769bce1ba35e40077c0","observation_id":"851dc466-5945-4153-b63b-d178a26f9e0f","resolution":{"observed_at":"2026-08-02T14:34:27.837480Z","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-02T14:34:27.943698Z","title":"ACM Computing Surveys , volume=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":86,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:27.943698Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:a34686ca78a36e5a826c5109fdfbfed13fc8b8fec0cc6b6938732c9abde6138b","observation_id":"2e7d7177-4de1-440b-9848-8b929a6e42fc","resolution":{"observed_at":"2026-08-02T14:34:27.943698Z","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-02T14:34:28.045913Z","title":"ACM Computing Surveys , volume=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":87,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:28.045913Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:c222b451f4363bf204717c63a98951cd6f14a5469f4ea4fd0dd376c7f38c9250","observation_id":"5ae65e27-5cf2-4fa0-907b-04d5d1d176e3","resolution":{"observed_at":"2026-08-02T14:34:28.045913Z","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-02T14:34:28.203736Z","title":"Neurocomputing , volume=","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":88,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:28.203736Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:4dc9247a2456a541b52a5d53a2166f887f101d38e7df292b2f8d3d9378538465","observation_id":"3eddb56f-98ac-4555-90b7-9b5bc7f17a7c","resolution":{"observed_at":"2026-08-02T14:34:28.203736Z","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-02T14:34:28.330563Z","title":"2025 , eprint=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":89,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:28.330563Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:80b421ac71b2f9517929ab2378ce49b2ac4beff2fa93cfeffc0c02b30d2bb153","observation_id":"3c6f9cc9-0e2b-402b-889e-f4f55d5089c0","resolution":{"observed_at":"2026-08-02T14:34:28.330563Z","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-02T14:34:28.448230Z","title":"Communications of the ACM , volume=","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":90,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:28.448230Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:8746904752feb68667107ab897027549e570d17f10dfa142aac5b30043fbf15e","observation_id":"6d69d6d0-8cef-46f5-940e-7c059011d57f","resolution":{"observed_at":"2026-08-02T14:34:28.448230Z","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-02T14:34:28.526771Z","title":"ACM Computing Surveys , volume=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":91,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:28.526771Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:1a72c55a7559ba3bfaf38994a9b1a029b30b67c9c382522ec0955e27a63596bc","observation_id":"3ade6e19-5cea-4ea6-9315-20d17528ad79","resolution":{"observed_at":"2026-08-02T14:34:28.526771Z","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-02T14:34:28.651605Z","title":"Trends in cognitive sciences , volume=","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":92,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:28.651605Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:5f7a8c8f7798b2cf6ff5d87a13f1d73f982afc89d9e9676f545eb914e6ce1d35","observation_id":"400121c5-0d6a-411d-8260-bec1c3267d2f","resolution":{"observed_at":"2026-08-02T14:34:28.651605Z","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-02T14:34:28.796791Z","title":"Science , volume=","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":93,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:28.796791Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:1cf17bb77e3398d82dcd601fdcebd95de5611740b17c5667fc1f9109a6a7ef64","observation_id":"441569ce-b047-4c5c-9b8e-fbe9c04d68bf","resolution":{"observed_at":"2026-08-02T14:34:28.796791Z","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-02T14:34:28.962688Z","title":"Science , volume=","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":94,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:28.962688Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:4cb359c8950c062f659c01e7e2e9c2491d4c42756ea243837b739a76317fbabf","observation_id":"3c920a2b-8522-40f5-93e0-ffe0f8f2e552","resolution":{"observed_at":"2026-08-02T14:34:28.962688Z","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-02T14:34:29.118044Z","title":"Cognitively Informed","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":95,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:29.118044Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:256ffb61a09da1b89e184bde178e9d5d810ca607671983b4533a6fea5960a2db","observation_id":"fa2a548e-9d3f-42b0-8a23-18b0a0f02fc8","resolution":{"observed_at":"2026-08-02T14:34:29.118044Z","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-02T14:34:29.224678Z","title":"Journal of The Royal Society Interface , volume=","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":96,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:29.224678Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:384d80d20b15c3d28718d6867f74328c2f09163850dbe33460775a6ce1ae4caf","observation_id":"453e50f7-135a-43b5-8e4d-003c2d39c510","resolution":{"observed_at":"2026-08-02T14:34:29.224678Z","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-02T14:34:29.370253Z","title":"Semantics and pragmatics , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":97,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:29.370253Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:61a251e7e035dcfa904795cf609aa91e0284f85b0137035549e3779c4fb87aec","observation_id":"2065de9f-4348-4c9c-852f-364674d757ab","resolution":{"observed_at":"2026-08-02T14:34:29.370253Z","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-02T14:34:29.458037Z","title":"Synthese , volume=","venue":null,"work_id":null,"year":1975},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":98,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:29.458037Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:0ede662688a67d8a6446f9bdb5017e69b93da492eae060a8c79a478a834e3926","observation_id":"d9872f16-0463-4bdc-9633-2e2200e29d0b","resolution":{"observed_at":"2026-08-02T14:34:29.458037Z","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-02T14:34:29.557253Z","title":"Syntax and semantics , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":99,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:29.557253Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:02984d4150c9d3441e74a5ce88bd17b8d45996b94cc4d717608b90f51b486c68","observation_id":"6f06d4a0-6252-4fb3-b428-f1a2f910af3e","resolution":{"observed_at":"2026-08-02T14:34:29.557253Z","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-02T14:34:29.633526Z","title":"Annual Review of Linguistics , volume=","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages","version":1},"reference_index":100,"source":"arxiv_source","source_observed_at":"2026-08-02T14:34:29.633526Z"},"links":{"citing_paper":"/paper/2607.20432"},"observation_digest":"sha256:b173e239103149367c294f5c12a2cee3d124c5846e0a1e56658c203d47bf2cd1","observation_id":"424d684c-48b0-4d52-b4b0-6bbc658fb9af","resolution":{"observed_at":"2026-08-02T14:34:29.633526Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.20432","last_updated":"2026-05-10T15:01:16Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-09T03:39:50.821562Z","submitted_at":"2026-05-10T15:01:16Z","title":"Position: Natural Language Should Not Fully Replace Formal Languages"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":96,"verified_exact":4,"verified_fuzzy":0},"total_outbound_references":104},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 100 of 104 outbound references and 0 inbound Pith citation observations for arXiv:2607.20432."}