Cut non-English token cost, with a certified bound
用語集を音韻的な硬い制約に変換するローカルASR訂正器
Find the step your training run broke on, from 452 B/step
Accept contributions on evidence, not on authorship.
Where independent formalizations of a clause disagree
Error bounds and targeted falsification for Triton kernels