TY  - RPRT
TI  - Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning
AU  - Mitsuru Kusumoto
AU  - Keisuke Yahata
AU  - Masahiro Sakai
PY  - 2018
UR  - https://arxiv.org/abs/1811.00796
ID  - 1811.00796
ER  -