firstbacksecondback
8 Results
|
Tutorial
|
Mon 11:45 |
Machine Learning for Theorem Proving Zhangir Azerbayev · Emily First · Albert Q. Jiang · Kaiyu Yang · Anima Anandkumar · Noah Goodman · Alex Sanchez-Stern · Dawn Song · Sean Welleck |
|
|
Workshop
|
A Language-Agent Approach to Formal Theorem-Proving Amitayush Thakur · Yeming Wen · Swarat Chaudhuri |
||
|
Workshop
|
Towards Large Language Models as Copilots for Theorem Proving in Lean Peiyang Song · Kaiyu Yang · Animashree Anandkumar |
||
|
Workshop
|
Temperature-scaled large language models for Lean proofstep prediction Fabian Gloeckle · Baptiste Roziere · Amaury Hayat · Gabriel Synnaeve |
||
|
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 |
||
|
Poster
|
Tue 8:45 |
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models Kaiyu Yang · Aidan Swope · Alex Gu · Rahul Chalamala · Peiyang Song · Shixing Yu · Saad Godil · Ryan J Prenger · Animashree Anandkumar |
|
|
Oral
|
Tue 8:00 |
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models Kaiyu Yang · Aidan Swope · Alex Gu · Rahul Chalamala · Peiyang Song · Shixing Yu · Saad Godil · Ryan J Prenger · Animashree Anandkumar |
|
|
Workshop
|
LLMs vs ITPs Simon Frieder · Martin Trimmel · Rashid Alawadhi · Klaus Gy |