BriefGPT.xyz
May, 2023
基于高效不变名称的图神经网络表示的自动定理证明集成方法
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
HTML
PDF
Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Akihiro Kishimoto...
TL;DR
使用强化学习和集成方法,借助改进的图神经网络和改良的公式表示方法,成功地构建了一种名称不变的公式表示方法,显着提高了自动定理证明的性能和泛化能力。
Abstract
Using
reinforcement learning
for
automated theorem proving
has recently received much attention. Current approaches use representations of logical statements that often rely on the names used in these statements
→