LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions.
Zhening LiGabriel PoesiaOmar Costilla-ReyesNoah D. GoodmanArmando Solar-LezamaPublished in: CoRR (2022)
Keyphrases
- high level
- low level
- computer algebra systems
- symbolic reasoning
- knowledge base
- johnson lindenstrauss
- programming language
- mathematical proofs
- computer algebra
- human reasoning
- intermediate level
- artificial intelligence
- reasoning process
- knowledge representation
- information extraction
- low level features
- data sets
- mathematical models
- high dimensional
- named entity recognition
- lower level
- reasoning systems
- unsupervised manner
- spatial reasoning
- rule based reasoning
- conceptual model
- reasoning mechanisms
- higher level
- object level
- symbolic representation
- theorem proving