|
Workshop
|
Fri 13:50 |
Proof Artifact Co-training for Theorem Proving With Language Models |
|
|
Workshop
|
Fri 6:00 |
Intro: Theorem Proving and Artificial Intelligence - A Brief Introduction |
|
|
Workshop
|
Fri 11:30 |
Intro: From Hammer to Scalpel: Progress in Automated Theorem Proving |
|
|
Workshop
|
Fri 6:01 |
Theorem Proving and Artificial Intelligence - A Brief Introduction Josef Urban |
|
|
Workshop
|
Fri 6:26 |
QA: Theorem Proving and Artificial Intelligence - A Brief Introduction |
|
|
Workshop
|
Fri 11:56 |
QA: From Hammer to Scalpel: Progress in Automated Theorem Proving |
|
|
Workshop
|
Fri 11:31 |
From Hammer to Scalpel: Progress in Automated Theorem Proving Markus Rabe |
|
|
Poster
|
Wed 17:00 |
INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving Yuhuai Wu · Albert Jiang · Jimmy Ba · Roger Grosse |