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.