4 ms·
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-sc
by unignorant 13y ago
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 http://hci.stanford.edu/publications/paper.php?id=260
- auggierose 13y agoVery 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?