Position: Natural Language Should Not Fully Replace Formal Languages | Paper Citation Record

Observation a8370e11-eb28-4bd4-b5cc-a189b1d18c51 · outbound

This paper cites 2018 , eprint=.

Position: Natural Language Should Not Fully Replace Formal Languages 2018 , eprint=

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:17.326243Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 818ac2e6-d398-4ef8-a510-77dacc132e31 · outbound

This paper cites European Semantic Web Conference , pages=.

Position: Natural Language Should Not Fully Replace Formal Languages European Semantic Web Conference , pages=

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:17.381463Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4ba4ae1-218c-4bc6-9a72-0b91094fb4e6 · outbound

This paper cites , title =.

Position: Natural Language Should Not Fully Replace Formal Languages , title =

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:17.456419Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1b46952-21eb-41ef-ab65-2647258cd71b · outbound

This paper cites Bell system technical journal , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Bell system technical journal , volume=

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:17.524781Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6192e77a-5a4a-4a30-a555-d8f440c6a03e · outbound

This paper cites The Twelfth International Conference on Learning Representations , year=.

Position: Natural Language Should Not Fully Replace Formal Languages The Twelfth International Conference on Learning Representations , year=

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:17.612434Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14dc501a-5c0d-4883-9f48-7c53a1870446 · outbound

This paper cites 1969 , publisher=.

Position: Natural Language Should Not Fully Replace Formal Languages 1969 , publisher=

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:17.677094Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ccac4f8b-5490-4cea-9272-d4f208b011b6 · outbound

This paper cites A Survey on LLM s for Story Generation.

Position: Natural Language Should Not Fully Replace Formal Languages A Survey on LLM s for Story Generation

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:17.782292Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3603aa4d-1964-44a4-b6be-eedb3e63ab14 · outbound

This paper cites Controllable Text Summarization: Unraveling Challenges, Approaches, and Prospects - A Survey.

Position: Natural Language Should Not Fully Replace Formal Languages Controllable Text Summarization: Unraveling Challenges, Approaches, and Prospects - A Survey

Reference 8

Resolution: verified exact; doi, observed 2026-08-02T14:38:21.805471Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e9e87a21-2afd-41da-a5b6-d157a860617f · outbound

This paper cites 2025 , eprint=.

Position: Natural Language Should Not Fully Replace Formal Languages 2025 , eprint=

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:18.029827Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 320d0f71-2608-4138-91af-3ac4cc96d9da · outbound

This paper cites Navigating the Path of Writing: Outline-guided Text Generation with Large Language Models.

Position: Natural Language Should Not Fully Replace Formal Languages Navigating the Path of Writing: Outline-guided Text Generation with Large Language Models

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:18.136067Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b667a3b-2c1d-4c1c-a108-64e896680ada · outbound

This paper cites 2026 , eprint=.

Position: Natural Language Should Not Fully Replace Formal Languages 2026 , eprint=

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:18.284286Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce0f7dfb-78fc-4543-b593-5a5ccca25871 · outbound

This paper cites Assessing the Performance of AI-Generated Code: A Case Study on GitHub Copilot , year=.

Position: Natural Language Should Not Fully Replace Formal Languages Assessing the Performance of AI-Generated Code: A Case Study on GitHub Copilot , year=

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:18.369127Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5419102f-cc45-4222-a16d-03c612df26c6 · outbound

This paper cites 2025 , eprint=.

Position: Natural Language Should Not Fully Replace Formal Languages 2025 , eprint=

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:18.448577Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28e72d1f-fc0e-4c21-9835-73ac8133c5e4 · outbound

This paper cites CoRR , year=.

Position: Natural Language Should Not Fully Replace Formal Languages CoRR , year=

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:18.557222Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55862675-921e-4185-b02f-3bb720281564 · outbound

This paper cites IEEE Access , year=.

Position: Natural Language Should Not Fully Replace Formal Languages IEEE Access , year=

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:18.693828Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e60eee96-32b4-41c4-9207-d00fc80d3e3e · outbound

This paper cites Computer , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Computer , volume=

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:18.806611Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 213ae560-93d1-4f25-aa8a-e0b5a30ecb69 · outbound

This paper cites arXiv preprint arXiv:2512.07702 , year=.

Position: Natural Language Should Not Fully Replace Formal Languages arXiv preprint arXiv:2512.07702 , year=

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:18.810951Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 713620e9-382a-4ee1-bf54-fcd69f940127 · outbound

This paper cites european conference on computer vision , pages=.

Position: Natural Language Should Not Fully Replace Formal Languages european conference on computer vision , pages=

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:18.864104Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e32e4bbd-99dc-49fb-bb57-142547b3268a · outbound

This paper cites and Kee, Kerk and Zampieri, Marcos and Calyam, Prasad , title =.

Position: Natural Language Should Not Fully Replace Formal Languages and Kee, Kerk and Zampieri, Marcos and Calyam, Prasad , title =

Reference 19

Resolution: verified exact; doi, observed 2026-08-02T14:38:21.722963Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 0135fb5c-6837-4322-adea-2e7dfbe46ea2 · outbound

This paper cites Communications of the ACM , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Communications of the ACM , volume=

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:19.008929Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb98457b-c616-472e-86e2-d08b9db41b34 · outbound

This paper cites , author=.

Position: Natural Language Should Not Fully Replace Formal Languages , author=

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:19.094502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb20fed0-b875-4bc1-a35b-c8d0510a896d · outbound

This paper cites Nouns are Vectors, Adjectives are Matrices: Representing Adjective-Noun Constructions in Semantic Space.

Position: Natural Language Should Not Fully Replace Formal Languages Nouns are Vectors, Adjectives are Matrices: Representing Adjective-Noun Constructions in Semantic Space

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:19.164075Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c181991-9bbd-47d8-8759-49d190126c30 · outbound

This paper cites Cognitive science , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Cognitive science , volume=

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:19.289388Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8789cbf5-cba2-41a2-bea5-fade87fdd433 · outbound

This paper cites Frontiers in Communication , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Frontiers in Communication , volume=

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:19.399120Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66966946-3428-4ea6-8606-6089d09b8c4e · outbound

This paper cites Journal of semantics , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Journal of semantics , volume=

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:19.496996Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2279280-53fe-4824-9424-2b97f9caeb85 · outbound

This paper cites Research on language and computation , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Research on language and computation , volume=

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:19.648981Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ea20ac9-10cd-4d1f-b6fc-a68e6daa63fe · outbound

This paper cites Language and linguistics compass , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Language and linguistics compass , volume=

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:19.813132Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc749480-c197-4fee-bd07-8eff551653f9 · outbound

This paper cites Semantic Ambiguity and Perceived Ambiguity.

Position: Natural Language Should Not Fully Replace Formal Languages Semantic Ambiguity and Perceived Ambiguity

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:19.921225Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5fe06064-1daa-4e23-8ad9-23804a2014c2 · outbound

This paper cites Logic, language and computation , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Logic, language and computation , volume=

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:20.033036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b68004c-aa8c-4ed2-bf49-e20183d829ae · outbound

This paper cites 2000 , publisher=.

Position: Natural Language Should Not Fully Replace Formal Languages 2000 , publisher=

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:20.131345Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation badf85ce-df39-4de7-ae81-9cecf8655bdd · outbound

This paper cites Semantics and Pragmatics , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Semantics and Pragmatics , volume=

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:20.227752Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 315c960c-f394-4601-9a13-d7a56760b6d2 · outbound

This paper cites Language , pages=.

Position: Natural Language Should Not Fully Replace Formal Languages Language , pages=

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:20.332195Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87203d50-70ce-4dc2-977b-8daef6890daf · outbound

This paper cites 2007 , publisher=.

Position: Natural Language Should Not Fully Replace Formal Languages 2007 , publisher=

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:20.447930Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8293ff87-4825-4786-8d3e-15051a2236d5 · outbound

This paper cites 2008 , publisher=.

Position: Natural Language Should Not Fully Replace Formal Languages 2008 , publisher=

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:20.540935Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a0026a2-84f5-4aa2-a342-051285833b3d · outbound

This paper cites 1996 , publisher=.

Position: Natural Language Should Not Fully Replace Formal Languages 1996 , publisher=

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:20.658392Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0fc4bf5-2bfd-45e4-ae40-544017cf8f7d · outbound

This paper cites 1986 , publisher=.

Position: Natural Language Should Not Fully Replace Formal Languages 1986 , publisher=

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:20.774521Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e05d5f0b-9510-4238-8793-4900d9027a71 · outbound

This paper cites 2007 , publisher=.

Position: Natural Language Should Not Fully Replace Formal Languages 2007 , publisher=

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:20.861214Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59118c66-be69-48e6-a5ae-6f5889362e08 · outbound

This paper cites The Journal of Logic Programming , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages The Journal of Logic Programming , volume=

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:20.954092Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad909c0e-1b2c-4a74-8318-dc51322705a9 · outbound

This paper cites 1987 , school=.

Position: Natural Language Should Not Fully Replace Formal Languages 1987 , school=

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:21.062391Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efd3c6b6-7a9c-4ae9-8753-87d561a3d570 · outbound

This paper cites Artificial intelligence , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Artificial intelligence , volume=

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:21.173999Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f17f3293-285c-48d7-b4fd-84590df02b4c · outbound

This paper cites 2009 , publisher=.

Position: Natural Language Should Not Fully Replace Formal Languages 2009 , publisher=

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:21.267988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b557f592-97c4-4648-a358-6a3074f7a153 · outbound

This paper cites 1998 , publisher=.

Position: Natural Language Should Not Fully Replace Formal Languages 1998 , publisher=

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:21.478523Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9bee7c90-b02f-41e6-a3a7-cef9b7d98371 · outbound

This paper cites , biburl =.

Position: Natural Language Should Not Fully Replace Formal Languages , biburl =

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:21.644173Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea9a62d5-d64a-4d9e-b84a-bcd85cfb789c · outbound

This paper cites 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.

Position: Natural Language Should Not Fully Replace Formal Languages 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

Reference 44

Resolution: verified exact; doi, observed 2026-08-02T14:38:21.592432Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 8b63ece5-3986-487d-95ca-f0185d4e42a1 · outbound

This paper cites an unresolved cited work.

Position: Natural Language Should Not Fully Replace Formal Languages Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:21.980441Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f71544c6-4a93-4cdf-b25d-3d6a37705c5e · outbound

This paper cites The Bell system technical journal , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages The Bell system technical journal , volume=

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:22.092377Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a44b8917-36c7-468b-b8c4-4d6326735262 · outbound

This paper cites Proceedings of the IEEE/CVF conference on computer vision and pattern recognition , pages=.

Position: Natural Language Should Not Fully Replace Formal Languages Proceedings of the IEEE/CVF conference on computer vision and pattern recognition , pages=

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:22.254513Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d673f487-30cd-45fd-86ab-d2fbbbc2331a · outbound

This paper cites Proceedings of the 2023 AAAI/ACM Conference on AI, Ethics, and Society , pages=.

Position: Natural Language Should Not Fully Replace Formal Languages Proceedings of the 2023 AAAI/ACM Conference on AI, Ethics, and Society , pages=

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:22.379394Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c26d989f-7c9c-4999-aae2-41dda3969119 · outbound

This paper cites Artificial intelligence review , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Artificial intelligence review , volume=

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:22.527584Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddf478d2-0ed2-431e-a70d-cda356d878fa · outbound

This paper cites Companion Publication of the 2024 Conference on Computer-Supported Cooperative Work and Social Computing , pages=.

Position: Natural Language Should Not Fully Replace Formal Languages Companion Publication of the 2024 Conference on Computer-Supported Cooperative Work and Social Computing , pages=

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:22.694374Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb0bdf12-6481-4f9b-99d8-909fb33def82 · outbound

This paper cites Patterns , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Patterns , volume=

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:22.862261Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b622cec5-6000-439d-9b93-1508a974e603 · outbound

This paper cites Transactions of the Association for Computational Linguistics , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Transactions of the Association for Computational Linguistics , volume=

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:22.975843Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bfc5216a-bb77-4b53-9d49-13cb80d416e3 · outbound

This paper cites Advances in Neural Information Processing Systems , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Advances in Neural Information Processing Systems , volume=

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:23.138013Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d7ba50c-0352-4289-a15d-44f5fda5754a · outbound

This paper cites An invitation to cognitive science: Language , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages An invitation to cognitive science: Language , volume=

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:23.249824Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52391f53-0538-44c1-9bd8-86325e76bc08 · outbound

This paper cites Topoi , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Topoi , volume=

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:23.372275Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dea1537e-53bd-413a-9bb3-3848c6592d80 · outbound

This paper cites 2023 IEEE 31st International Conference on Network Protocols (ICNP) , pages=.

Position: Natural Language Should Not Fully Replace Formal Languages 2023 IEEE 31st International Conference on Network Protocols (ICNP) , pages=

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:23.376970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4713739-7a5f-4956-b72d-7b7611666912 · outbound

This paper cites 2021 IEEE International Symposium on Information Theory (ISIT) , pages=.

Position: Natural Language Should Not Fully Replace Formal Languages 2021 IEEE International Symposium on Information Theory (ISIT) , pages=

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:23.379451Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19a4bced-1175-499d-a53f-2287f192485b · outbound

This paper cites Software: Practice and Experience , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Software: Practice and Experience , volume=

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:23.381917Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d18421d9-ba4f-46da-9cbc-e51d7bdf6360 · outbound

This paper cites Program Verification: Fundamental Issues in Computer Science , pages=.

Position: Natural Language Should Not Fully Replace Formal Languages Program Verification: Fundamental Issues in Computer Science , pages=

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:23.384453Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bfc86f7-c727-45c6-9db1-0279be98ebd3 · outbound

This paper cites Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference Frontiers , pages=.

Position: Natural Language Should Not Fully Replace Formal Languages Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference Frontiers , pages=

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:23.823382Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48d82ab5-29d7-427f-a616-ff7e0b2dcbfc · outbound

This paper cites 2021 , eprint=.

Position: Natural Language Should Not Fully Replace Formal Languages 2021 , eprint=

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:23.987315Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c460d03b-292a-4b2a-a9e0-5da7c66bfdd4 · outbound

This paper cites an unresolved cited work.

Position: Natural Language Should Not Fully Replace Formal Languages Unresolved cited work

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:24.154993Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b47dab4-0334-4cb4-85d7-07e8649408d4 · outbound

This paper cites Mind , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Mind , volume=

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:24.377482Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07d75d5e-4dad-4b8e-aaea-0b8ae5bce681 · outbound

This paper cites Scientific American , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Scientific American , volume=

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:24.543121Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f58cddf2-f97e-496e-8528-b0915530e723 · outbound

This paper cites Cognitive science , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Cognitive science , volume=

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:24.698067Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 668ece28-454e-4da7-b9f3-e96f866797ab · outbound

This paper cites 2025 , eprint=.

Position: Natural Language Should Not Fully Replace Formal Languages 2025 , eprint=

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:24.925642Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6fd091ac-4d47-453a-9a0e-96e4be2779a9 · outbound

This paper cites ACM Computing Surveys (CSUR) , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages ACM Computing Surveys (CSUR) , volume=

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:25.125405Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64c5a073-23d8-4152-acf2-3b5b2a9a8734 · outbound

This paper cites MusicLM: Generating Music From Text.

Position: Natural Language Should Not Fully Replace Formal Languages MusicLM: Generating Music From Text

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:25.344037Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 056e0ceb-2517-429c-a112-0356b4968285 · outbound

This paper cites Language to Logical Form with Neural Attention.

Position: Natural Language Should Not Fully Replace Formal Languages Language to Logical Form with Neural Attention

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:25.519515Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation daa2b3e9-a28b-4257-a2ec-e5212357155c · outbound

This paper cites Proceedings of the 2022 CHI conference on human factors in computing systems , pages=.

Position: Natural Language Should Not Fully Replace Formal Languages Proceedings of the 2022 CHI conference on human factors in computing systems , pages=

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:25.626368Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eca059c1-1872-405c-9388-6d7f111fa77b · outbound

This paper cites Behaviour & Information Technology , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Behaviour & Information Technology , volume=

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:25.841591Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb9a570c-9765-4692-a992-f28b82f1f658 · outbound

This paper cites Human Learning by Model Feedback: The Dynamics of Iterative Prompting with Midjourney.

Position: Natural Language Should Not Fully Replace Formal Languages Human Learning by Model Feedback: The Dynamics of Iterative Prompting with Midjourney

Reference 72

Resolution: verified exact; doi, observed 2026-08-02T14:38:21.499020Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 9e823739-7ba3-417a-803f-a241d78c1901 · outbound

This paper cites Hierarchical Text-Conditional Image Generation with CLIP Latents.

Position: Natural Language Should Not Fully Replace Formal Languages Hierarchical Text-Conditional Image Generation with CLIP Latents

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:26.237871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05b8754c-4c4c-4d02-a0c1-580f28fbb03c · outbound

This paper cites Advances in neural information processing systems , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Advances in neural information processing systems , volume=

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:26.429730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef7ab5fe-4d61-455f-827d-42b9fb57a2c6 · outbound

This paper cites Information Technology & People , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Information Technology & People , volume=

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:26.579428Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 12ba7172-5853-40a3-8819-ef9ae7c3abe9 · outbound

This paper cites Proceedings of the 26th International Conference on Intelligent User Interfaces , pages=.

Position: Natural Language Should Not Fully Replace Formal Languages Proceedings of the 26th International Conference on Intelligent User Interfaces , pages=

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:26.742426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8f120f1-65d2-4e70-b014-40cf2f1e60c8 · outbound

This paper cites SWE-bench: Can Language Models Resolve Real-World GitHub Issues?.

Position: Natural Language Should Not Fully Replace Formal Languages SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:26.917846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3b06259-de37-4229-be3b-872f51a8f4bd · outbound

This paper cites 2012 , publisher=.

Position: Natural Language Should Not Fully Replace Formal Languages 2012 , publisher=

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:27.098127Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6ec8416-99f8-4c5d-aea6-9e1b4368ed66 · outbound

This paper cites Cross-Task Generalization via Natural Language Crowdsourcing Instructions.

Position: Natural Language Should Not Fully Replace Formal Languages Cross-Task Generalization via Natural Language Crowdsourcing Instructions

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:27.228760Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c03ca21-5fe0-4dc3-80b6-7e09b913cd43 · outbound

This paper cites Trends in cognitive sciences , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Trends in cognitive sciences , volume=

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:27.342793Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30912f6e-1cdf-4f4b-b7b1-806e6c1eb7ea · outbound

This paper cites 1999 , publisher=.

Position: Natural Language Should Not Fully Replace Formal Languages 1999 , publisher=

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:27.460325Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8986ca48-a899-480b-a58b-b83428da2861 · outbound

This paper cites Proceedings of the ACM on Programming Languages , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Proceedings of the ACM on Programming Languages , volume=

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:27.539749Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9fe0d72-1c49-42d2-a0b9-b0e01d940f7b · outbound

This paper cites an unresolved cited work.

Position: Natural Language Should Not Fully Replace Formal Languages Unresolved cited work

Reference 83

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:27.616527Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b3823ae-a9db-4be4-9ff7-216ba3ae99f0 · outbound

This paper cites A Survey on Large Language Models for Code Generation.

Position: Natural Language Should Not Fully Replace Formal Languages A Survey on Large Language Models for Code Generation

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:27.731788Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 851dc466-5945-4153-b63b-d178a26f9e0f · outbound

This paper cites ACM Transactions on Software Engineering and Methodology , year=.

Position: Natural Language Should Not Fully Replace Formal Languages ACM Transactions on Software Engineering and Methodology , year=

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:27.837480Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e7d7177-4de1-440b-9848-8b929a6e42fc · outbound

This paper cites ACM Computing Surveys , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages ACM Computing Surveys , volume=

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:27.943698Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ae65e27-5cf2-4fa0-907b-04d5d1d176e3 · outbound

This paper cites ACM Computing Surveys , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages ACM Computing Surveys , volume=

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:28.045913Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3eddb56f-98ac-4555-90b7-9b5bc7f17a7c · outbound

This paper cites Neurocomputing , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Neurocomputing , volume=

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:28.203736Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c6f9cc9-0e2b-402b-889e-f4f55d5089c0 · outbound

This paper cites 2025 , eprint=.

Position: Natural Language Should Not Fully Replace Formal Languages 2025 , eprint=

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:28.330563Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d69d6d0-8cef-46f5-940e-7c059011d57f · outbound

This paper cites Communications of the ACM , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Communications of the ACM , volume=

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:28.448230Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ade6e19-5cea-4ea6-9315-20d17528ad79 · outbound

This paper cites ACM Computing Surveys , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages ACM Computing Surveys , volume=

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:28.526771Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 400121c5-0d6a-411d-8260-bec1c3267d2f · outbound

This paper cites Trends in cognitive sciences , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Trends in cognitive sciences , volume=

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:28.651605Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 441569ce-b047-4c5c-9b8e-fbe9c04d68bf · outbound

This paper cites Science , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Science , volume=

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:28.796791Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c920a2b-8522-40f5-93e0-ffe0f8f2e552 · outbound

This paper cites Science , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Science , volume=

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:28.962688Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa2a548e-9d3f-42b0-8a23-18b0a0f02fc8 · outbound

This paper cites Cognitively Informed.

Position: Natural Language Should Not Fully Replace Formal Languages Cognitively Informed

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:29.118044Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 453e50f7-135a-43b5-8e4d-003c2d39c510 · outbound

This paper cites Journal of The Royal Society Interface , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Journal of The Royal Society Interface , volume=

Reference 96

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:29.224678Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2065de9f-4348-4c9c-852f-364674d757ab · outbound

This paper cites Semantics and pragmatics , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Semantics and pragmatics , volume=

Reference 97

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:29.370253Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9872f16-0463-4bdc-9633-2e2200e29d0b · outbound

This paper cites Synthese , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Synthese , volume=

Reference 98

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:29.458037Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f06d4a0-6252-4fb3-b428-f1a2f910af3e · outbound

This paper cites Syntax and semantics , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Syntax and semantics , volume=

Reference 99

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:29.557253Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 424d684c-48b0-4d52-b4b0-6bbc658fb9af · outbound

This paper cites Annual Review of Linguistics , volume=.

Position: Natural Language Should Not Fully Replace Formal Languages Annual Review of Linguistics , volume=

Reference 100

Resolution: unresolved; no resolver link, observed 2026-08-02T14:34:29.633526Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers