English
Related papers

Related papers: Grammatical structures in mathematics: a personal …

200 papers

Large Language Models (LLMs) have demonstrated impressive capabilities in structured reasoning and symbolic tasks, with coding emerging as a particularly successful application. This progress has naturally motivated efforts to extend these…

Artificial Intelligence · Computer Science 2026-02-02 Andrea Asperti , Alberto Naibo , Claudio Sacerdoti Coen

Numeracy is the ability to understand and work with numbers. It is a necessary skill for composing and understanding documents in clinical, scientific, and other technical domains. In this paper, we explore different strategies for…

Computation and Language · Computer Science 2021-03-29 Georgios P. Spithourakis , Sebastian Riedel

Can AI solve all math? What do we actually mean by doing mathematics? How do we communicate mathematics? What is mathematics beyond problem solving? This essay is my attempt to answer these questions.

History and Overview · Mathematics 2025-09-22 Petra Schwer

Learning to use math in science is a non-trivial task. It involves many different skills (not usually taught in a math class) that help blend physical knowledge with mathematical symbology. One of these is the idea of quantification: that…

Physics Education · Physics 2022-08-17 Edward F. Redish

This paper presents a geometric approach to the problem of modelling the relationship between words and concepts, focusing in particular on analogical phenomena in language and cognition. Grounded in recent theories regarding geometric…

Computation and Language · Computer Science 2016-08-05 Stephen McGregor , Matthew Purver , Geraint Wiggins

Many constructs that characterize language, like its complexity or emotionality, have a naturally continuous semantic structure; a public speech is not just "simple" or "complex," but exists on a continuum between extremes. Although large…

Computation and Language · Computer Science 2025-09-23 Hauke Licht , Rupak Sarkar , Patrick Y. Wu , Pranav Goel , Niklas Stoehr , Elliott Ash , Alexander Miserlis Hoyle

The problem of advancing coordinatization of mathematics is considered. The need to develop a theory for measuring value and complexity of mathematical implications and proofs is discussed including motivations, benefits and implementation…

History and Overview · Mathematics 2018-03-07 Peteris Daugulis

Invitation to the statistical study of language: The topic of this presentation is the interdisciplinary nexus between linguistics and statistics. It targets linguists, for whom it may have a theoretical interest, or professionals that work…

Applications · Statistics 2018-04-23 Rogelio Nazar

In this note I describe reliability standards for writing and reviewing mathematical papers; these standards are (in my opinion) vital for the progress of mathematics. I give examples of applying the described or other reliability…

History and Overview · Mathematics 2025-07-08 A. Skopenkov

In the former article "Formal mathematical systems including a structural induction principle" we have presented a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the…

Logic · Mathematics 2022-01-21 Matthias Kunik

Formal grammars are extensively used in Computer Science and related fields to study the rules which govern production of a language. The use of these grammars can be extended beyond mere language production. One possibility is to view…

Formal Languages and Automata Theory · Computer Science 2017-08-17 Abhinav Aggarwal

Finding a basis matrix (dictionary) by which objective signals are represented sparsely is of major relevance in various scientific and technological fields. We consider a problem to learn a dictionary from a set of training signals. We…

Disordered Systems and Neural Networks · Physics 2015-06-04 Ayaka Sakata , Yoshiyuki Kabashima

Mathematical reasoning is essential for problem-solving in education, science, and industry, serving as a crucial benchmark for evaluating artificial intelligence systems. As Large Language Models (LLMs) improve their reasoning…

Computation and Language · Computer Science 2026-05-20 Husnain Amjad , Raja Khurram Shahzad , Aamir Shahzad , Mehwish Fatima

Recent breakthroughs in large language models (LLM) have stirred up global attention, and the research has been accelerating non-stop since then. Philosophers and psychologists have also been researching the structure of language for…

Computation and Language · Computer Science 2024-07-17 Joseph Chen

Mathematical formulae represent complex semantic information in a concise form. Especially in Science, Technology, Engineering, and Mathematics, mathematical formulae are crucial to communicate information, e.g., in scientific papers, and…

Digital Libraries · Computer Science 2018-04-16 Moritz Schubotz , Andre Greiner-Petter , Philipp Scharpf , Norman Meuschke , Howard Cohl , Bela Gipp

Biology is data-rich, and it is equally rich in concepts and hypotheses. Part of trying to understand biological processes and systems is therefore to confront our ideas and hypotheses with data using statistical methods to determine the…

Quantitative Methods · Quantitative Biology 2022-06-22 Sean T. Vittadello , Michael P. H. Stumpf

Through their transfer learning abilities, highly-parameterized large pre-trained language models have dominated the NLP landscape for a multitude of downstream language tasks. Though linguistically proficient, the inability of these models…

Computation and Language · Computer Science 2022-11-07 Mandar Sharma , Nikhil Muralidhar , Naren Ramakrishnan

Knowledge is a network of interconnected concepts. Yet, precisely how the topological structure of knowledge constrains its acquisition remains unknown, hampering the development of learning enhancement strategies. Here we study the…

Computation and Language · Computer Science 2021-03-17 Nicolas H. Christianson , Ann Sizemore Blevins , Danielle S. Bassett

The actuality of material attached to the article is caused by the necessity to develop and implement high-tech information and communication, educational and scientific environment to the leaning process. One of the examples of such…

General Mathematics · Mathematics 2018-09-10 Kateryna Slovak

The study of semantic relationships has revealed a close connection between these relationships and the morphological characteristics of a language. Morphology, as a subfield of linguistics, investigates the internal structure and formation…

Computation and Language · Computer Science 2023-07-14 Mohamed Naamane