TY  - RPRT
TI  - Automated proof synthesis for propositional logic with deep neural networks
AU  - Taro Sekiyama
AU  - Kohei Suenaga
PY  - 2018
UR  - https://arxiv.org/abs/1805.11799
ID  - 1805.11799
ER  -