Geometry Problem Solving Based on Counter-factual Evolutionary Reasoning
文献类型：会议论文
| 作者 | Song B(宋冰)4,5 ; Xiong G(熊刚)2,3,5; Shen Z(沈震)1,3; Zhu F(朱凤华)2,5; Lv Y（吕宜生）5; Ye P（叶佩军）5
|
| 出版日期 | 2023 |
| 会议日期 | 2023 |
| 会议地点 | New Zealand |
| 英文摘要 | As a representative topic in natural language
processing and automated theorem proving, geometry prob
lem solving requires an abstract problem understanding and
symbolic reasoning. A major challenge here is to find a
feasible reasoning sequence that is consistent with given axioms
and the theorems already proved. Most recent methods have
exploited neural network-based techniques to automatically
discover eligible solving steps. Such a kind of methods, however,
is greatly impacted by the expert solutions for training. To
improve the accuracy, this paper proposes a new method called
counterfactual evolutionary reasoning, which uses a generative
adversarial network to generate initial reasoning sequences and
then introduces counterfactual reasoning to explore potential
solutions. By directly exploring theorem candidates rather than
the neural network selection, the new method can sufficiently
extend the searching space to get a more appropriate reasoning
step. Through comparative experiments on the recent proposed
Geometry3k, the largest geometry problem solving dataset,
our method generally achieves a higher accuracy than most
previous methods, bringing an overall improvement about 4.4%
compared with the transformer models. |
| 会议录出版者 | IEEE |
| 源URL | [http://ir.ia.ac.cn/handle/173211/52160]  |
| 专题 | 自动化研究所_复杂系统管理与控制国家重点实验室_先进控制与自动化团队 |
| 通讯作者 | Ye P（叶佩军） |
| 作者单位 | 1.Intelligent Manufacturing Center, Qingdao Academy of Intelligent In dustries, Qingdao 266000, China 2.The Guangdong Engineering Research Center of 3D Printing and Intelligent Manufacturing, The Cloud Computing Center, Chinese Academy of Sciences, Dongguan 523808, China 3.The Beijing Engineering Research Center of Intelligent Systems and Technology, Institute of Automation, Chinese Academy of Sciences, China 4.School of Artificial Intelligence, University of Chinese Academy of Sciences 5.The State Key Laboratory of Management and Control for Complex Systems, Institute of Automation, Chinese Academy of Sciences |
| 推荐引用方式 GB/T 7714 | Song B,Xiong G,Shen Z,et al. Geometry Problem Solving Based on Counter-factual Evolutionary Reasoning[C]. 见:. New Zealand. 2023. |
入库方式： OAI收割
来源：自动化研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。