ELASTIC: Numerical Reasoning with Adaptive Symbolic Compiler.

Jiaxin Zhang Yashar Moshfeghi

Published in: NeurIPS (2022)

Keyphrases

symbolic reasoning
automated reasoning
meta level
symbolic data
fuzzy reasoning
reasoning process
reasoning tasks
symbolic representation
programming language
case study
knowledge base
data sets
qualitative models
general purpose
software engineering
database systems
high level
numerical analysis
elastic matching