DotaMath: Decomposition of Thought with Code Assistance and Self-correction for Mathematical Reasoning.
Chengpeng LiGuanting DongMingfeng XueRu PengXiang WangDayiheng LiuPublished in: CoRR (2024)
Keyphrases
- error detection
- source code
- knowledge base
- decomposition method
- reasoning systems
- computer algebra systems
- error correcting
- image decomposition
- mathematical proofs
- uncertain information
- mathematical knowledge
- distortion correction
- rule based reasoning
- code generation
- formal models
- decomposition methods
- machine learning
- reasoning process
- qualitative reasoning
- cognitive processes
- denoising
- knowledge representation
- artificial intelligence