Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks.

Taro Sekiyama, Kohei Suenaga

Browse the full APLAS paper archive.