Imitation Learning for Connection-Tableau Construction
DGX agentarXiv:2608.26009v1 Announce Type: cross Abstract: An automated theorem prover builds a proof step by step, choosing at each point what to add and what to remove. We cast this construction as a policy