Somebody should make a tool that takes a mathematical paper and autogenerates a "lemma flowchart" that depicts which lemmas etc. are direct inputs to which other results.
Replies
It is not a DAG
jun 5, 2025, 11:03 pm • 1 0 • view
😱
jun 5, 2025, 11:10 pm • 0 0 • view
I'd nominate @bengolub.bsky.social as the special someone.
jun 5, 2025, 8:01 pm • 1 0 • view
This likely goes without saying, but I just tried asking free ChatGPT to do this with a paper and it failed dismally.
apr 4, 2025, 12:55 pm • 1 0 • view
Do you have access to the TeX or only the PDF?
apr 4, 2025, 1:06 pm • 1 0 • view
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).
apr 4, 2025, 1:30 pm • 0 0 • view
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.
apr 4, 2025, 3:30 pm • 1 0 • view
Yeah, you can download source code on arXiv.
apr 4, 2025, 4:53 pm • 0 0 • view
here you go lemmatree.streamlit.app tried it on a random paper i found on arxiv econ.th ; seems to work fine
apr 4, 2025, 2:54 pm • 12 3 • view
Holy shit, thank you! Excited to try this out.
apr 4, 2025, 3:05 pm • 1 0 • view
vibe-coded with the new gemini model with the following initial prompt and some API tinkering afterwards [it was using an old clunky package and made a few mistakes in the program].
apr 4, 2025, 2:57 pm • 3 0 • view
This is slick Apoorva
apr 4, 2025, 3:01 pm • 2 0 • view
thx; quite pleased with how it turned out. the fact that one can write and deploy a reasonably functional program over morning coffee is kinda nuts.
apr 4, 2025, 3:02 pm • 2 0 • view
Totally. Vibe coding can do a lot of fun stuff now.
apr 4, 2025, 3:03 pm • 0 0 • view
Can you tell me a bit about how you deployed this?
apr 4, 2025, 3:05 pm • 0 0 • view
streamlit cloud deployment (free tier) docs.streamlit.io/deploy/strea... as long as you have app.py and requirements.txt in a git repo, it can create an isolated env and deploy it. there are other options [railway, vercel etc] but this is the simplest for small toy applications
apr 4, 2025, 3:20 pm • 2 0 • view
this could easily be extended to accepts PDFs (given how good gemini is at OCR); github.com/googleapis/p... exercise left for the reader / user :)
apr 4, 2025, 3:00 pm • 2 0 • view
@ EL you should extend this to pdfs and host it with an API key [yale would pay for it right?] as a public good
apr 4, 2025, 3:31 pm • 1 0 • view
I think this exists! I'll try to dig it up. I didn't find it very useful when I played with it but I can see how it might be.
jun 5, 2025, 11:01 pm • 2 0 • view
I often make myself a lemma DAG as a refereeing aid when I’m refereeing a paper with intricate proofs. This thought came up when I made one for coauthors, we decided to put it in the paper, and I thought “It’d be cool if this were standard/easy to put in every theory paper.”
jun 6, 2025, 10:42 am • 3 0 • view