a 10-line algorithm is optimal for semi-streaming arxiv, lean, ai methodology and use below sepehr assadi, @mangooqwq, and i recently presented a proof that the greedy algorithm achieves the optimal approximation ratio for semi-streaming matching https://t.co/jVGP3NF5K6
DocOCR-Eval: A Correction-Based Framework for OCR Tool Selection Without Ground Truth