Picture for Mitsuru Kusumoto

Mitsuru Kusumoto

A Graph Theoretic Framework of Recomputation Algorithms for Memory-Efficient Backpropagation

Add code
May 28, 2019
Figure 1 for A Graph Theoretic Framework of Recomputation Algorithms for Memory-Efficient Backpropagation
Figure 2 for A Graph Theoretic Framework of Recomputation Algorithms for Memory-Efficient Backpropagation
Figure 3 for A Graph Theoretic Framework of Recomputation Algorithms for Memory-Efficient Backpropagation
Figure 4 for A Graph Theoretic Framework of Recomputation Algorithms for Memory-Efficient Backpropagation
Viaarxiv icon

Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning

Add code
Nov 02, 2018
Figure 1 for Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning
Figure 2 for Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning
Figure 3 for Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning
Figure 4 for Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning
Viaarxiv icon