Sign in
Seeking Diverse Reasoning Logic: Controlled Equation Expression Generation for Solving Math Word Problems.
Yibin Shen
Qianying Liu
Zhuoyuan Mao
Zhen Wan
Fei Cheng
Sadao Kurohashi
Published in:
CoRR (2022)
Keyphrases
</>
word problems
automated reasoning
proof theory
nonlinear equations
deductive reasoning
order of magnitude reasoning
logical framework
computational properties
grade students
similar problems
intuitionistic logic
logic programming
knowledge representation
knowledge base