|
Workshop
|
Fri 9:00
|
Intro: Mathematical Reasoning in Humans
|
|
|
Workshop
|
Fri 13:00
|
Intro: Formal vs Informal Mathematics, Reasoning and AGI
|
|
|
Workshop
|
Fri 8:00
|
Intro: The Relevance of Computational Creativity to Mathematical Reasoning Machines
|
|
|
Workshop
|
Fri 9:01
|
Mathematical Reasoning in Humans
James McClelland
|
|
|
Workshop
|
Fri 8:01
|
The Relevance of Computational Creativity to Mathematical Reasoning Machines
Alison Pease
|
|
|
Workshop
|
Fri 13:26
|
QA: Formal vs Informal Mathematics, Reasoning and AGI
|
|
|
Workshop
|
Fri 9:26
|
QA: Mathematical Reasoning in Humans
|
|
|
Workshop
|
Fri 8:26
|
QA: The Relevance of Computational Creativity to Mathematical Reasoning Machines
|
|
|
Workshop
|
Fri 13:01
|
Formal vs Informal Mathematics, Reasoning and AGI
Stanislas Polu
|
|
|
Poster
|
Wed 9:00
|
IsarStep: a Benchmark for High-level Mathematical Reasoning
Wenda Li · Lei Yu · Yuhuai Wu · Lawrence Paulson
|
|
|
Workshop
|
Fri 5:55
|
The Role of Mathematical Reasoning in General Artificial Intelligence
Yuhuai Wu · Kshitij Bansal · Wenda Li · Melanie Mitchell · David McAllester · John Harrison
|
|
|
Spotlight
|
Mon 19:55
|
Mathematical Reasoning via Self-supervised Skip-tree Training
Markus Rabe · Dennis Lee · Kshitij Bansal · Christian Szegedy
|
|
