Disambiguating Symbolic Expressions in Informal Documents

01/25/2021
by   Dennis Müller, et al.
0

We propose the task of disambiguating symbolic expressions in informal STEM documents in the form of LaTeX files - that is, determining their precise semantics and abstract syntax tree - as a neural machine translation task. We discuss the distinct challenges involved and present a dataset with roughly 33,000 entries. We evaluated several baseline models on this dataset, which failed to yield even syntactically valid LaTeX before overfitting. Consequently, we describe a methodology using a transformer language model pre-trained on sources obtained from arxiv.org, which yields promising results despite the small size of the dataset. We evaluate our model using a plurality of dedicated techniques, taking the syntax and semantics of symbolic expressions into account.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/16/2017

Towards String-to-Tree Neural Machine Translation

We present a simple method to incorporate syntactic information about th...
research
05/14/2019

Correlating neural and symbolic representations of language

Analysis methods which enable us to better understand the representation...
research
11/04/2016

Learning Continuous Semantic Representations of Symbolic Expressions

Combining abstract, symbolic reasoning with continuous neural reasoning ...
research
04/04/2019

Towards Specifying Symbolic Computation

Many interesting and useful symbolic computation algorithms manipulate m...
research
06/27/2021

SymbolicGPT: A Generative Transformer Model for Symbolic Regression

Symbolic regression is the task of identifying a mathematical expression...
research
05/02/2023

Allegories of Symbolic Manipulations

Moving from the mathematical theory of (abstract) syntax, we develop a g...
research
02/15/2021

Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation

We introduce Metatheory.jl: a lightweight and performant general purpose...

Please sign up or login with your details

Forgot password? Click here to reset