Lean-STaR: Learning to Interleave Thinking and Proving
arXiv: 2407.10040 · 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.