Learning to Prove Theorems by Learning to Generate Theorems
arXiv: 2002.07019 · Summary page · arXiv
What changed between two versions of a paper. Changed results and numbers (before and after), conclusions, method, data, errors fixed, or only the writing, and whether the main results changed. And an email when a paper you follow gets a new version.