SubgoalXL: Subgoal-based Expert Learning for Theorem Proving

20 August 2024

Papers citing "SubgoalXL: Subgoal-based Expert Learning for Theorem Proving"

2 / 2 papers shown

Title
LEGO-Prover: Neural Theorem Proving with Growing Libraries Haiming Wang Huajian Xin Chuanyang Zheng Lin Li Zhengying Liu ... Enze Xie Jian Yin Zhenguo Li Heng Liao Xiaodan Liang LRM 30 20 0 01 Oct 2023
Autoformalization with Large Language Models Yuhuai Wu Albert Q. Jiang Wenda Li M. Rabe Charles Staats M. Jamnik Christian Szegedy AI4CE 108 107 0 25 May 2022