改快了不算数，得给我证出来
这期有点特殊，先把话说在前头：不是 repo。arXiv:2610.30188，主分类 cs.SE，顺手把 cs.AI、cs.LG、cs.LO、cs.PL 四个都挂了，五个作者 Zhe Ye、Udaya Ghai、Zhizhen Qin、Dawn Song、Soonho Kong，10 月 20 号挂上去的预印本。
这期有点特殊，先把话说在前头：不是 repo。arXiv:2610.30188，主分类 cs.SE，顺手把 cs.AI、cs.LG、cs.LO、cs.PL 四个都挂了，五个作者 Zhe Ye、Udaya Ghai、Zhizhen Qin、Dawn Song、Soonho Kong，10 月 20 号挂上去的预印本。