You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

cousin_it comments on Automated theorem proving by learning from examples - Less Wrong Discussion

3 Post author: alexflint 16 February 2011 01:38PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Article Navigation

Comments (9)

Comments (9)

You are viewing a single comment's thread.

Comment author: cousin_it 16 February 2011 02:27:00PM *  1 point [-]

Again I'll have to agree with timtyler. Formalizing mathematical proofs is difficult, see my old post. Maybe you'll find it easiest to use an existing corpus, like Metamath.

Comment author: alexflint 17 February 2011 09:15:00AM 0 points [-]

Ooh, thanks for the link to metamath.

Powered by Reddit Powered by Reddit