|
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 6:26
|
QA: Theorem Proving and Artificial Intelligence - A Brief Introduction
|
|
|
Workshop
|
Fri 6:01
|
Theorem Proving and Artificial Intelligence - A Brief Introduction
Josef Urban
|
|
|
Workshop
|
Fri 11:30
|
Intro: From Hammer to Scalpel: Progress in Automated Theorem Proving
|
|
|
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
|
|
|
Poster
|
Tue 17:00
|
Mathematical Reasoning via Self-supervised Skip-tree Training
Markus Rabe · Dennis Lee · Kshitij Bansal · Christian Szegedy
|
|
|
Spotlight
|
Mon 19:55
|
Mathematical Reasoning via Self-supervised Skip-tree Training
Markus Rabe · Dennis Lee · Kshitij Bansal · Christian Szegedy
|
|
