Seeking Diverse Reasoning Logic: Controlled Equation Expression Generation for Solving Math Word Problems.
Yibin ShenQianying LiuZhuoyuan MaoZhen WanFei ChengSadao KurohashiPublished in: AACL/IJCNLP (2) (2022)
Keyphrases
- word problems
- automated reasoning
- nonlinear equations
- grade students
- deductive reasoning
- proof theory
- order of magnitude reasoning
- intuitionistic logic
- computational properties
- similar problems
- logical framework
- logic programming
- knowledge representation
- knowledge base
- hong kong
- tutoring system
- modal logic
- logic programs