We welcome contributions of previously unpublished papers, which could be either long (8 pages) or short (4 pages). All submissions will be peer-reviewed by multiple reviewers. The authors' identities must be concealed to enable a double-blind peer review.


MathNLP welcomes both archival and non-archival submissions. Only archival submissions will be included in the proceedings.


We are particularly interested in (but not limited to) works related to the following topics:

Neural/Neuro-symbolic architectures to support mathematical natural language inference;

Large Language Models for Mathematics;

Equational embeddings;

Autoformalisation and translation from natural language to formal languages (and vice-versa);

Linguistic analysis of mathematical discourse and argumentation relations in the context of mathematical text;

- Probing mathematical understanding of state-of-the-art models;

- Adaptation of NLP tasks for mathematical discourse;

- NLP applied to mathematics education;

- Premise selection over mathematical text;

- Understanding and typing of variables in mathematical text;

- Retrieval of equations/formulas/expressions based on textual queries;

- Retrieval of textual context based on equational queries.