基于预训练语言模型和合一算法的自动定理证明

基于预训练语言模型和合一算法的自动定理证明

陈红休, 曾霞, 刘志明, 赵恒军

Automatic Theorem Proving Based on Pre-trained Language Models and Unification

CHEN Hongxiu, ZENG Xia, LIU Zhiming, ZHAO Hengjun

计算机科学 . 2026, (4): 40 -47 . DOI: 10.11896/jsjkx.251000066