"The Language of Design" articulates the theory that there is a language of design. Drawing upon insights from computational language processing, the language of design is modeled computationally through latent semantic analysis (LSA), lexical chain analysis (LCA), and sentiment analysis (SA). The...
Language is a defining characteristic of our species, but the function, or functions, that it serves has been debated for centuries. Here we bring recent evidence from neuroscience and allied disciplines to argue that in modern humans, language is a tool
In NAACL-HLT Sakaguchi等(2021),Winogrande: An adversarial winograd schema challenge at scale. Communications of the ACM Sap等(2019),Socialiqa: Commonsense reasoning about social interactions. arXiv preprint arXiv:1904.09728 Shannon(1948),A mathematical theory of communication. The Bell system technical...
This aspect of complementarity is investigated in the present paper, mainly from the point of view of L systems. New types of word sequences will be discovered. Sometimes the resulting decision problems are equivalent to well-known open problems from other areas....
Information theory and computation Quantum physics Nature Computational Science(Nat Comput Sci) ISSN2662-8457(online) Sign up for theNature Briefingnewsletter — what matters in science, free to your inbox daily. Email address Sign up I agree my information will be processed in accordance with the...
自从那篇著名的《Chain of Thought PromptingElicitsReasoningin Large Language Models》发布以来,一下子引爆了使用 Large Language Models (LLMs) 做推理任务的热潮。同时,越来越多的研究者开始深挖 LLMs 的各种能力。其中,推理能力作为一种可能的“象征着真正的智慧”的能力,在过去的一年里兴许不是被探索和研究得...
Russell invented a form of type theory which he used in the famous Principia Mathematica [Whitehead and Russel, 1910–1913]. Others have subsequently introduced many kinds of type theories and modern type theories are quite different from Russell’s [Barendregt et al., 2013]. Brouwer introduced ...
The theory of counting Transformer FLOPs is elegant, but as seen in the HyperCLOVA example, naive application results in significant underestimation of time required to training the language model. For more precise reasoning, we need a better of idea of what actual WFLOPs throughput can be like...
etc. -Cross-lingual information processing involving Asian or low-resource languages. -Papers that deal in theory, systems design, evaluation and applications in the aforesaid subjects are appropriate for TALLIP. Emphasis will be placed on the originality and the practical significance of the reported...
The recent advent of large language models has reinvigorated debate over whether human cognitive capacities might emerge in such generic models given sufficient training data. Of particular interest is the ability of these models to reason about novel pr