firstbacksecondback
3 Results
|
Workshop
|
Temperature-scaled large language models for Lean proofstep prediction Fabian Gloeckle · Baptiste Roziere · Amaury Hayat · Gabriel Synnaeve |
||
|
Workshop
|
Towards Large Language Models as Copilots for Theorem Proving in Lean Peiyang Song · Kaiyu Yang · Animashree Anandkumar |
||
|
Workshop
|
llmstep: LLM proofstep suggestions in Lean Sean Welleck · Rahul Saha |