Learning to Think and Argue: a path to automated theorem proving

Re:Learning to Think and Argue: a path to automated theorem ... by c-cube on Sunday November 26, 2017 @05:30AM (#15780277)

So, not even referencing the decades of research in the field of ATP? :/

[ Parent | on HN ]

Re:Learning to Think and Argue: a path to automated theorem ... by aidanrocke on Wednesday November 29, 2017 @05:53AM (#15805954)

I appreciate your feedback.

The paper I referenced by Josef Urban et al. is representative of the state-of-the-art. That said, this is a first draft and I will make a lot of changes. Adding more references on ATP being one of them.

If you have any other thoughts/comments, I'd be very interested in hearing them.

[ Parent | on HN ]