Deductive Reasoning
Reasoning
Inductive Reasoning
Observational Learning
Reinforcement
Theorems of Pappus and Guldinus: Problem Solving
您也可能阅读
通过共同作者、期刊和引用图与本文相关的文章。
Thomas Hubert1, Rishi Mehta2, Laurent Sartran2
1Google DeepMind, London, UK. tkhubert@google.com.
一个人工智能代理AlphaProof通过强化学习 (RL) 和正式证明来学习复杂的数学推理. 这一系统在国际海事组织的比赛中获得了奖牌级别的表现,
科学领域:
背景情况:
研究的目的:
主要方法:
主要成果:
结论: