Dec, 2022

EuclidNet:几何可构问题的深度视觉推理

TL;DR本文介绍了一个基于深度学习的 EuclidNet 框架,通过视觉推理解决几何构造问题,特别适用于自动化几何定理证明;该框架使用神经网络架构 Mask R-CNN 从初始设置和目标配置中提取视觉特征,并生成可能的构造步骤作为中间数据模型,并反复重复这个过程,直到问题得到解决或被识别为不可解决。最后使用回溯方式得到一个逐步构造指南,并使用日本 Sangaku 几何难题验证了 EuclidNet 框架的有效性。