Modeling Complex Mathematical Reasoning via Large Language Model based MathAgent.
Haoran LiaoQinyi DuShaohua HuHao HeYanyan XuJidong TianYaohui JinPublished in: CoRR (2023)
Keyphrases
- modeling language
- reasoning systems
- model construction
- knowledge base
- natural language
- knowledge representation
- modeling method
- qualitative models
- highly expressive
- data sets
- human reasoning
- mathematical theory
- formal models
- reasoning process
- target language
- model based diagnosis
- higher level
- high level
- machine learning
- neural network