Live Intro
in
Workshop: The Role of Mathematical Reasoning in General Artificial Intelligence
Intro: From Hammer to Scalpel: Progress in Automated Theorem Proving
Abstract: