This likely goes without saying, but I just tried asking free ChatGPT to do this with a paper and it failed dismally.
This likely goes without saying, but I just tried asking free ChatGPT to do this with a paper and it failed dismally.
Do you have access to the TeX or only the PDF?
Great question! This seems like it should be much easier to do with TeX. I'd already be happy if I could do with with access to the TeX (to use for my own papers), but I'd be extra happy to do it with access only to the PDF (as a reading/refereeing aid).
Do readers of arXiv get access to the TeX? I know the author uploads. If the TeX is cleanly structured (cross references to lemmas and proposition has clear \end), I’d write a shell script to do this.
Yeah, you can download source code on arXiv.