Search All 2021 Events
 

13 Results

<<   <   Page 1 of 2   >   >>
Workshop
Fri 9:00 Intro: Mathematical Reasoning in Humans
Workshop
Fri 8:00 Intro: The Relevance of Computational Creativity to Mathematical Reasoning Machines
Workshop
Fri 13:00 Intro: Formal vs Informal Mathematics, Reasoning and AGI
Workshop
Fri 8:26 QA: The Relevance of Computational Creativity to Mathematical Reasoning Machines
Workshop
Fri 9:26 QA: Mathematical Reasoning in Humans
Workshop
Fri 13:26 QA: Formal vs Informal Mathematics, Reasoning and AGI
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: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