subgoal-theorem-prover icon indicating copy to clipboard operation
subgoal-theorem-prover copied to clipboard

Published 20 hours ago • verified publisher icon HKUNLP
→

Metadata

Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"

subgoal-theorem-prover

Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"

← Metadata

17
Stars
0
Forks
Watchers

Owner

verified publisher icon HKUNLP

Metadata

Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"

Back