BriefGPT.xyz
Ask
alpha
关键词
proving
搜索结果 - 1
对抗性学习实现对任意逻辑的推理
本研究提出了一种 Monte-Carlo 模拟系统,利用强化学习能够在任何逻辑领域中进行工作,而无需任何人为知识或问题集。
PDF
2 years ago
Prev
Next