Search Results for author:
Found 1 papers, 1 papers with code
SubgoalXL: Subgoal-based Expert Learning for Theorem Proving
This paper introduces SubgoalXL, a novel approach that synergizes subgoal-based proofs with expert learning to enhance LLMs' capabilities in formal theorem proving within the Isabelle environment.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
