Login / Signup

Towards Large Language Models as Copilots for Theorem Proving in Lean.

Peiyang SongKaiyu YangAnima Anandkumar
Published in: CoRR (2024)
Keyphrases