Invited Talk
in
Workshop: MATH-AI: Toward Human-Level Mathematical Reasoning

Reasoning and Abstraction as Challenges for AI

Cezary Kaliszyk

Abstract:

Chat is not available.