サクサク読めて、アプリ限定の機能も多数!
xef のブックマーク 2021/06/23 23:07
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning[MachineLearning][TheoremProving]2021/06/23 23:07
このブックマークにはスターがありません。 最初のスターをつけてみよう!
arxiv.org2021/06/23
1 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /
このブックマークにはスターがありません。
最初のスターをつけてみよう!
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning
1 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /