4 ms·alphaXiv reduced dataset extraction cost ($7500 to $1000) thanks to DeepSeek OCR1 points by SweetSoftPillow 1y ago