Semantic Parsing of Mathematics by Context-based Learning from Aligned Corpora and Theorem Proving
We study methods for automated parsing of informal mathematical expressions into formal ones, a main prerequisite for deep computer understanding of informal mathematical texts. We propose a context-based parsing approach that combines efficient statistical learning of deep parse trees with their semantic pruning by type checking and large-theory automated theorem proving. We show that the methods very significantly improve on previous results in parsing theorems from the Flyspeck corpus.
Code (0)
등록된 구현이 없습니다.
Tasks
Automated Theorem ProvingSemantic ParsingSimilar Papers 제목 키워드 기반
Mathematical Entities: Corpora and Benchmarks
Mathematics is a highly specialized domain with its own unique set of challenges. Despite this, there has been relatively little research on natural language processing for mathematical texts, and there are few mathemati…
Definition ExtractionEntity LinkingGINet: Graph Interaction Network for Scene Parsing
Recently, context reasoning using image regions beyond local convolution has shown great potential for scene parsing. In this work, we explore how to incorporate the linguistic knowledge to promote context reasoning over…
Scene ParsingParsing All: Syntax and Semantics, Dependencies and Spans
Both syntactic and semantic structures are key linguistic contextual clues, in which parsing the latter has been well shown beneficial from parsing the former. However, few works ever made an attempt to let semantic pars…
AllSemantic ParsingA New Corpus and Imitation Learning Framework for Context-Dependent Semantic Parsing
Semantic parsing is the task of translating natural language utterances into a machine-interpretable meaning representation. Most approaches to this task have been evaluated on a small number of existing corpora which as…
Imitation LearningSemantic ParsingStructured PredictionHow Does Code Pretraining Affect Language Model Task Performance?
Large language models are increasingly trained on corpora containing both natural language and non-linguistic data like source code. Aside from aiding programming-related tasks, anecdotal evidence suggests that including…
Language ModelingLanguage ModellingSemantic ParsingWorld Knowledge