Scaling Natural-Language Graph-Based Test Time Compute for Automated Theorem Proving 文章

ArXiv CS.CL2026-05-26NEWSen作者: Vincent Li, Tim Knappe, Yule Fu, Kevin Han, Kevin Zhu
查看原文 →
关系图谱

Scaling Natural-Language Graph-Based Test Time Compute for Automated Theorem Proving · 相关技术

相关技术

theorem provingnatural language processingknowledge graphsautomated theorem provinglarge language models