{"as_of":"2026-08-08T05:49:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f4a425b4822c0f2c1a44de52a36c2f9a5c619f2fa2614304d24ecd773e50dba5","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-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/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-07T01:39:33.782614Z","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:5afd6063c596165a0016e14f316b04b4bb4e787aea2a3d37380f01e463418a6a","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-07T01:39:33.782614Z","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:e961c3fdaac22ee364055571b2db6ba6eaa0a5a6d5778075f94ee2e8e4f2e9ed","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-07T01:39:33.782614Z","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:3c108c782d7066fa304467f69d54db5cbff05ee80e62484d43523d56bb279be3","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-07T01:39:33.782614Z","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:d48700cc6b168a6a974ff2db5647187095f4ac73559e2c8fafdfba14dce8bfa7","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-07T01:39:33.782614Z","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:b130093e2f144fe51584056858e19d5e2542fa4f98c07826dfeb18a4a4fbb037","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-07T01:39:33.782614Z","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:9d1eba6413f8e8740fb3fcd5c970ace42103a0fe6f9964a0155347db8f4d4086","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-07T01:39:33.782614Z","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:25979efa4df1e44feccb1d281b57ed04b77dc570416c60cbee5553b99eb09e50","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-07T01:39:33.782614Z","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:b286310ec725b7c88f000eae896f2c661fbb47ea03505a8cc8ae1396d535b924","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T01:39:33.782614Z","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:438d31c1906d90bc4aa3fbb44364f64328426ac0bde6a2369e478d53cb8f23e6","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-07T01:39:33.782614Z","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:eec149ddd732c6a1c5552672ce2f5cdabf0bc1b1b01aee99d9f68064ce99c2f1","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-07T01:39:33.782614Z","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:d5bed3dbf6883961e1ce371723589b1d9839572a50a3499ee71a73f655aa0687","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-07T01:39:33.782614Z","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:d765beea8309f056a7c0664c7640a2bd1f6384b09095310f12994cb479ca4811","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-07T01:39:33.782614Z","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:e4a1df7fcfc11094f48d0fe5e3257f2b3acad7dee6fddc4dce2721437bbd55ec","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-07T01:39:33.782614Z","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:ea03dab75325b14dea3e7186b18faf861db72b31e74b2eeac854b756f1b7ccb6","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-07T01:39:33.782614Z","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:e21e64b2c6c950b2c22ca67f761d59305bad3fd5ef1f8bef35fd0769f7f0ac58","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-07T01:39:33.782614Z","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:88b1321276e35342d926c1121c2000009a23f852421a36f2a622ee4b6e6197ec","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-07T01:39:33.782614Z","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:7ff89ee1eaf1823cb021a94efdebdbbea730b0dda19161038b3b443c79e7b963","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-07T01:39:33.782614Z","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:92d784cc4843073efd3195d6446898b99cae9d433697d560ab0e3d484b54a242","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-07T01:39:33.782614Z","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:a3e3393890716a6a7b8817563791d5fdd1573a26eb28c1a31b7bd026539e90bc","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T01:39:33.782614Z","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:ec077c7675c7ee8730d6848e33142aff7e54d2dd0f87d6df2131f72b1bfc4fa1","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-07T01:39:33.782614Z","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:75aada2287f0e7346ca997a70537c95f61be239d68ef984460e2828f90ed816a","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-07T01:39:33.782614Z","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:e3109c23e159a9eb4ba29884146af143e6883402e74e527f354fb6a93746e665","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-07T01:39:33.782614Z","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:8afcee3d1b66a64c616bd6932d408a9956d0608d7ed03fb2be7ff9e57973243f","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-07T01:39:33.782614Z","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:91faf82e1261c7a075c86c0d1283a72fcc08d06ad2ff2bd19799269af1cba8eb","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-07T01:39:33.782614Z","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:94430534d08a5709186bfb8a172629f5098f12cbc698e7fdcd6b9464792808ff","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-07T01:39:33.782614Z","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:78a24e82cebd679d4069de0493159979ba28861fdf9dae77c70fa324e2863307","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-07T01:39:33.782614Z","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:05447fc4716fd2b526a22e8d1b417fcc1702b229e8d1a924327acfeefc199903","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-07T01:39:33.782614Z","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:00ca32cd51849f3fc06241b32c626f9ed52e66f4818da061f7702cac37e045e9","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-07T01:39:33.782614Z","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:16d42140ca285a32825997d99390a53ba1eef8d78bcf35eb444b657ae5d50fc5","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-07T01:39:33.782614Z","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:77c86ba45962ee84e84cde7e2bff1ac584f6e956882bc6df3242db22d22bfe38","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-07T01:39:33.782614Z","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:870c99e1108ece50cf092d03bafff955ca9ac0f4bafb986ddbf2e08156f12348","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-07T01:39:33.782614Z","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:52b188440cb414b15f611d417ec67918f83f8bf77548b14645df5662b91bf056","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-07T01:39:33.782614Z","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:fcbaa58b39bddcfe11806c6b3b7bf461cf3f8b554109d321f12ac99b3b7d1b82","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-07T01:39:33.782614Z","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:9509be24c0c52dd08c5031ed72afcc8ad7b99e5f160a1f9914c9f08cf50f1158","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-07T01:39:33.782614Z","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:970bbaeaf07259321eb9479d326ad4de9e20ff87e86758337c7cd4119835e09c","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-07T01:39:33.782614Z","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:3cf6a7f21ae7048a91d26a73afe19f1736b4759382f3d210bcc4cd85ae4d7195","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-07T01:39:33.782614Z","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:b9aabcca30505db9fef26ceb87765fffd982572567b36407f2884669dfb6f0fc","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-07T01:39:33.782614Z","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:719259eab3b056c2b29630943173b459de7a5a02eac5e2b231846408f9de11e7","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-07T01:39:33.782614Z","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:67c1c3c2644664a8a565029f413e32f43da1e316bafca6ac26f5af062bdb89fa","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-07T01:39:33.782614Z","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:4ab1d50530dda6bc6d11f29c7f82f283fa30e55dfad180151257ca08db5d7001","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-07T01:39:33.782614Z","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:f0c56840750dd0ac43c8b8c42cce18f1f23560612e1020c6035871104b807fd5","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-07T01:39:33.782614Z","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:dbd61121d07981f19229a88d214cad9f8802f85675e898b102d3df417d72ca0e","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-07T01:39:33.782614Z","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:ff500fe00d88fd8f15ec15b4e2be55ece4c0ad9aa414dcca1ad10a265fe7ed5e","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-07T01:39:33.782614Z","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:893dec5216d042e5d7c84c814bdca7306316bd9a19bd3e0fbcec0292bf78fa5c","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T01:39:33.782614Z","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:2dec062ede8d562acebc36c38eb5a814e7fd1fb3ee346ae1db491509f5e98636","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-07T01:39:33.782614Z","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:31ce21d7dd472c1a39454a9c9a66b244d2b66258cf4d03ca8fb18916a8d22ee2","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-07T01:39:33.782614Z","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:5c94bdd9c33065e03bdf5f8bd116e28a7fb8e900633ca05d344e5324202465df","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-07T01:39:33.782614Z","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:2c6c45383147c2a6fcd05b7a4257b3e33ea3b07eacd4d83f5b19b02ab3161488","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-07T01:39:33.782614Z","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:9e3deab0644a3ea4d92c2e3c176b46a96a9dd474eabb5d2c5c02af9a7474499d","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-07T01:39:33.782614Z","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:1882bb908b75190460e83d9137e3cf131f1c9e5b8aef91dcc90202dab391e7ba","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-07T01:39:33.782614Z","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:85f77ac8946d5604adccf04db38f7f1be3d2c4b669abc73229e5122a4a7b5dbe","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-07T01:39:33.782614Z","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:e464646b243b615e0d3445ab1812427f9716f7266c64777beea930d84f383088","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-07T01:39:33.782614Z","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:6faed5576aac652f7c1a4862a8f404889959b8449b5a163878da1ec082f2332d","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-07T01:39:33.782614Z","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:da166fd210f9c57dba374485ee04bc8a8043dc5e7ea7d34fe5e9bb2aac4c3729","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-07T01:39:33.782614Z","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:378a42efbc9a22ba84a1d1c848250dc16f17d9f5c25d55d86699dd5c3bdf20dc","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-07T01:39:33.782614Z","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:7a3d58d7ccf48abcc136ac724befceb5fd77b823e7170de35d4d97cfc55075db","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-07T01:39:33.782614Z","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:6545b56a63ba985d6d70f70e2dcbb35cf9fd42e28002e6ec47d86fb66c21dffb","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-07T01:39:33.782614Z","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:c6cd0a08fb99ca5ac71c64955fb0299ec16efbf783392fba72f63e183b9a8c41","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-07T01:39:33.782614Z","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:34ce4027239b012321958420001611aafb31f79d821f38322fda9801324abcf0","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-07T01:39:33.782614Z","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:89e09478177d842bb9c8eb5735e501191a8514ef39a0b7d475c0066e4f607b41","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-07T01:39:33.782614Z","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:d3b4e1a082358498df3aa1aa3565da44079e5d33f0e0d879d7fb1928f8f472dd","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-07T01:39:33.782614Z","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:df5a32be6a75d7ca4df3578d7c34d76962d7337248148cb2a7efd81b600f7d64","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-07T01:39:33.782614Z","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:910fcd26811e7846ef6e2ff370d0b0b599bade271c3fac2273457cc9eeb1624e","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-07T01:39:33.782614Z","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:4420dc5ce7227de3a58d8b91f8ea635b88c5cedd7046fc52b9acab404d188939","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-07T01:39:33.782614Z","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:1dc580c862b0c13bc9dd62a536012565000cc4e788a5b5439b35f0ac35f09e41","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-07T01:39:33.782614Z","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:7496c9b32a45f2dfee018227318e9ea67bfd41bee23efb3217e4421f7577b098","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-07T01:39:33.782614Z","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:18eb5af60d7ba80557287bd74ca10048902b69065f59d971ef49aadf9aca488d","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-07T01:39:33.782614Z","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:2d1e60e2a245070da2c1595985c891ca7c4f9cfe538027c07d15f8641f9c9f28","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-07T01:39:33.782614Z","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:8761cc5662fb9834687dfb4194dc8e589b4ac2fe89484b7f6eb81910dcc56211","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-07T01:39:33.782614Z","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:c0426a31613b2668e372254b97c799a9cffc5707d300b2fde3144d723289665f","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-07T01:39:33.782614Z","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:f25c7954d054e34bee6c463197151ba5d0e5a8cb66b2d7b4654c3016919b53eb","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-07T01:39:33.782614Z","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:ef98d0d7fd20d379a57afceb4b688b3cd568d50b510b502235e017903214ec3a","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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-07T01:39:33.782614Z","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:d06dda6c6fa6098ae26ab513d5c232640151586bd9d8a445e9d72e100b8b82d7","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-07T01:39:33.782614Z","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:84547d404606c50fdf929814e93e9a6da4aad4182ddccf3fc2d8e99d7dc4ee2c","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-07T01:39:33.782614Z","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:0baeca1bd4df9e5320e19ba0af8cd4ee81553fe891725a7e4a257d9c4793a8fc","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-07T01:39:33.782614Z","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:a5caf45786575fe7bb82e117858ba28419e4e5e7291351133806b8c4319f8107","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-07T01:39:33.782614Z","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:4280b5686945d314cf1911b9750dbe257184b9b8b2451c5c4d0aa8026c08aa69","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-07T01:39:33.782614Z","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:930c36ae428e113000b2907153db37667d79b450350057cdacf117db83026f69","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-07T01:39:33.782614Z","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:c0b5ddbc00c3aed6bdb6fec6029190e7e404f22bd91d7fcda7880ddeac2dc0e4","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-07T01:39:33.782614Z","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:9a329330abcb40e559e154abf61f7dbfb219ae6258d64d68376eaadb1986dc61","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-07T01:39:33.782614Z","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:8269a985cfbb716a328e6a86cd97468923cac012add934d75c2244a4c156a2ce","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-07T01:39:33.782614Z","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:dab8afd719d8ec54486b318f0598429065a2c4d483f4b3aee0126dc51a7beb3e","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-07T01:39:33.782614Z","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:558bbf41eb1b474b39414ccca4771f852679bb60382ffed130161ed4cf8e321e","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-07T01:39:33.782614Z","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:c28e34126eb50b11060a0cb6a114dc226a3d4b08b0e53d51754e0c37eae1c0c6","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-07T01:39:33.782614Z","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:08097abf6748c0bde0bac19d4a3e8304fa177fc0064aa7cdb7cd89f4e3d6dd02","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-07T01:39:33.782614Z","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:2d61db0e6caea643867af60e86bdd59c22de4dcfd3f809380181fe740f30fb9c","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-07T01:39:33.782614Z","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:63e948b9c01782699864fd23c7aba1634c2bdb109def8655c95514b92094ad19","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-07T01:39:33.782614Z","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:cadfd16f9f5e0a03491a6690c540cf605957f356ec6e66a5602bcac3f18cc278","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-07T01:39:33.782614Z","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:9b80467de99644e045a142262cb730489f07cfe46985629b0df6301b84e051da","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-07T01:39:33.782614Z","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:d50ccccee365de3985d7c568c093f2b856f4992f7d21c9a342619669ed2fc3e2","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-07T01:39:33.782614Z","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:d5ff3eae80bf014445a7ddaaf75a57256277284bf8edf1b6268b8236611dfd26","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-07T01:39:33.782614Z","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:abc7f3c84d8d4564053e09dd4dd3371e02ef4e404cd607969ab55efa52854397","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-07T01:39:33.782614Z","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:0e6676031918b0d0ea669885cd44260ba3171fd85c29b2df5e4a60145359a664","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-07T01:39:33.782614Z","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:5de531a1f893e5be9baa567dfb5739dfe8b582bf667206cc30ba0f8c40fce590","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-07T01:39:33.782614Z","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:68d19cf6bde284421029ff49774d78ff61d004c2b60d8ab086a51c3026b64f02","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-07T01:39:33.782614Z","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:062b6d5f5183ba3e6f5955278b89843bceb7461f5ea89e07b3abaabffda19706","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-07T01:39:33.782614Z","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:5039ad3e59f1769277c0478e879bc291cf8ee05cdb6af74b19342a0dae9c4b3f","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-07T01:39:33.782614Z","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:d8b2afb6808cf34f00a00d875bc3ef24337faf09fa56078f2564a2967bd1c5ac","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-07T01:39:33.782614Z","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:4ac0a95d02cc1201280112d1f8024fed1779b09e2e3d933184f1d1ff20484831","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-07T01:39:33.782614Z","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:8b47f7c3bdd61d0fe4c428cea685233b8d63c19f36522dee048cfa5b3cff6491","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-07T01:39:33.782614Z","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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 100 of 104 outbound references and 0 inbound Pith citation observations for arXiv:2607.20432."}