Lean Verified Tokenizers You build a formally verified tokenization pipeline with the goal of mitigating harness bugs. srush.github.io/verified-tok...

• srush.github.io / verified-tokenizer