18 citations · 45 across the 4 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
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★ 9 cited
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…