ELASTIC: Numerical Reasoning with Adaptive Symbolic Compiler.
Jiaxin ZhangYashar MoshfeghiPublished in: CoRR (2022)
Keyphrases
- knowledge base
- symbolic reasoning
- programming language
- symbolic data
- general purpose
- automated reasoning
- computer algebra systems
- artificial intelligence
- reasoning systems
- numerical analysis
- reasoning tasks
- qualitative reasoning
- high level
- finite difference
- analogical reasoning
- numerical methods
- elastic matching
- highly optimized
- deductive reasoning
- sensitivity analysis