计算机科学
解析
图形
编码
理论计算机科学
人工智能
集合(抽象数据类型)
自然语言处理
程序设计语言
生物化学
基因
化学
作者
Fucheng Guo,Pengpeng Jian
标识
DOI:10.1109/ieir56323.2022.10050084
摘要
Geometry problem solving is a long-standing problem in artificial intelligence. The task requires generating explainable solving sequences based on text and diagram descriptions. Existing approaches have made great progress in geometry formal language extraction and interpretable solving. However, they neglect the graph structure information in formal language. This leads to poor prediction effect of the theorem, and too long reasoning time for problem solving and affects the accuracy of problem solving. In this paper, we construct the formal language graph and use a graph convolutional network to encode structure information of formal language. We propose an improved diagram parser for better diagram relation set extraction. The experimental results show that our method achieves better performance in interpretable geometry problem solving.
科研通智能强力驱动
Strongly Powered by AbleSci AI