arXiv - CSCL: "Decomposing the Enigma: Subgoal-based Demonstrati…" - Qoto Mastodon

arXiv - CSCL @arxiv_cscl@qoto.org

Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving. (arXiv:2305.16366v1 [cs.CL])

http://arxiv.org/abs/2305.16366 #arXiv #NLProc

May 29, 2023, 03:07 · · arxiv-cscl · · ·

Sign in to participate in the conversation