News for hackers. Stuff that matters.

A comment on ProofPeer – Collaborative Theorem Proving.

Re:ProofPeer – Collaborative Theorem Proving by unignorant on Saturday November 30, 2013 @12:32PM (#6823755)
Cool project! This is a really promising area of research.

Our group at Stanford recently published some early work that shows how a different kind of large-scale collaboration, via MOOCs, can be combined with theorem provers towards pedagogical ends. http://hci.stanford.edu/publications/paper.php?id=260

[ Parent | on HN ]
Re:ProofPeer – Collaborative Theorem Proving by auggierose on Saturday November 30, 2013 @04:07PM (#6824620)
Very interesting work, I just looked at your paper. I like the idea of the proof cache which improves the individual user experience exploiting the collaborative setting; although I am not sure how this could be generalized to more general automation than the kind of term rewriting based search you describe.

Did you grade student derivations in a binary fashion, i.e. correct / incorrect, or did you also take into account especially "pretty" derivations or something like that?

[ Parent | on HN ]