firstbacksecondback
3 Results
|
Workshop
|
LLMs vs ITPs Simon Frieder · Martin Trimmel · Rashid Alawadhi · Klaus Gy |
||
|
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 |