firstbacksecondback
3 Results
|
Workshop
|
Towards Large Language Models as Copilots for Theorem Proving in Lean Peiyang Song · Kaiyu Yang · Animashree Anandkumar |
||
|
Workshop
|
Lemur: Integrating Large Language Models in Automated Program Verification Haoze Wu · Clark Barrett · Nina Narodytska |
||
|
Workshop
|
Magnushammer: A Transformer-Based Approach to Premise Selection Maciej Mikuła · Szymon Antoniak · Szymon Tworkowski · Bartosz Piotrowski · Albert Q. Jiang · Jin Zhou · Christian Szegedy · Łukasz Kuciński · Piotr Miłoś · Yuhuai Wu |