activity
20232026
most citedSubgoalXL: Subgoal-based Expert Learning for Theorem Proving

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing cs.CLShow all

5 papers · 1 filter