MathChat: Benchmarking Mathematical Reasoning and Instruction Following in Multi-Turn Interactions.
Zhenwen LiangDian YuWenhao YuWenlin YaoZhihan ZhangXiangliang ZhangDong YuPublished in: CoRR (2024)
Keyphrases
- reasoning process
- mathematical proofs
- knowledge representation
- knowledge base
- computer software
- data sets
- meta level
- reasoning tasks
- online learning
- reasoning systems
- model based reasoning
- bayesian networks
- probabilistic reasoning
- learning strategies
- automated reasoning
- uncertain information
- knowledge processing
- collaborative learning
- interaction patterns
- mathematical expressions
- cognitive processing
- human reasoning