artificial Learning to Think and Argue: a path to automated theorem proving /u/aidanrocke November 25, 2017 November 25, 2017 submitted by /u/aidanrocke [link] [comments]