A Graph Convolutional Network Feature Learning Framework for Interpretable Geometry Problem Solving

计算机科学 解析 图形 编码 理论计算机科学 人工智能 集合(抽象数据类型) 自然语言处理 程序设计语言 生物化学 基因 化学
作者
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.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
2秒前
shuyu完成签到 ,获得积分10
3秒前
4秒前
汉堡包应助yunyii采纳,获得10
5秒前
tcf发布了新的文献求助10
7秒前
9秒前
9秒前
10秒前
酷酷煎饼完成签到,获得积分10
13秒前
15秒前
666应助csy采纳,获得10
16秒前
牛牛牛发布了新的文献求助10
17秒前
wan完成签到,获得积分10
17秒前
17秒前
笨笨师发布了新的文献求助10
18秒前
20秒前
21秒前
安娜驳回了张雷应助
22秒前
完美的冷荷完成签到,获得积分10
24秒前
24秒前
25秒前
Leeny发布了新的文献求助10
27秒前
善学以致用应助XLL小绿绿采纳,获得10
27秒前
28秒前
28秒前
笑点低的碧琴完成签到,获得积分10
30秒前
31秒前
32秒前
西北完成签到,获得积分10
33秒前
小送完成签到,获得积分10
33秒前
34秒前
星光完成签到,获得积分10
35秒前
英吉利25发布了新的文献求助30
37秒前
哈哈哈发布了新的文献求助10
37秒前
顺利的毛衣完成签到,获得积分10
38秒前
39秒前
SYLH应助zz采纳,获得30
40秒前
冬不拉的红糖纸完成签到,获得积分20
40秒前
42秒前
木头完成签到 ,获得积分10
42秒前
高分求助中
A new approach to the extrapolation of accelerated life test data 1000
Cognitive Neuroscience: The Biology of the Mind 1000
Technical Brochure TB 814: LPIT applications in HV gas insulated switchgear 1000
Immigrant Incorporation in East Asian Democracies 500
Nucleophilic substitution in azasydnone-modified dinitroanisoles 500
不知道标题是什么 500
A Preliminary Study on Correlation Between Independent Components of Facial Thermal Images and Subjective Assessment of Chronic Stress 500
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 3966366
求助须知:如何正确求助?哪些是违规求助? 3511778
关于积分的说明 11159852
捐赠科研通 3246372
什么是DOI,文献DOI怎么找? 1793416
邀请新用户注册赠送积分活动 874427
科研通“疑难数据库(出版商)”最低求助积分说明 804388