We are releasing an open dataset for theorem proving, HolStep: http://openreview.net/forum?id=ryuxYmvel … - can you beat our 83% accuracy baseline?
-
Cool! Our baseline is also just doing n-gram pattern matching, in essence (as we note in the paper).
Now it would be interesting to see if significantly different techniques can yield an accuracy much higher than 85%.
-
-
kind of disappointing context didn't help. I didn't try :/
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.