18 citations · 18 across the 1 of their papers we have counts for
2 papers
cs.LG2019★ 18 cited
A Graph Theoretic Framework of Recomputation Algorithms for Memory-Efficient Backpropagation
Mitsuru Kusumoto, Takuya Inoue, Gentaro Watanabe +2
Recomputation algorithms collectively refer to a family of methods that aims to reduce the memory consumption of the backpropagation by selectively discarding the intermediate resu…
cs.LG2018
Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning
Mitsuru Kusumoto, Keisuke Yahata, Masahiro Sakai
The problem-solving in automated theorem proving (ATP) can be interpreted as a search problem where the prover constructs a proof tree step by step. In this paper, we propose a dee…