EasyChair Smart SlideUser guide
Author: Austin Letson

This page shows all presentations of this author published in EasyChair Smart Slide.

SorryDB: Can AI Provers Complete Real-World Lean Theorems?

SorryDB: Can AI Provers Complete Real-World Lean Theorems?

Austin Letson, Leopoldo Sarra, Auguste Poiroux, Oliver Dressler, Paul Lezeau, Dhyan Aranha, Frederik Pu, Aaron Hill, Miguel Corredera Hidalgo, Julian Berman, George Tsoukalas and Lenny Taelman

Presentations in this collection: 1
Copyright © 2002 – 2026 EasyChair