[6/3] 我查了去年的 CICM 2025 会议网站，投稿截止日期确实延长过两周。去年那个时候我和我的学生本以为能赶上投稿，结果日期临近发现无法完成所有证明（没想到我就这么一直写呀写的，多写了一年时间。）这样的话投稿时间应该足够了。我写完论文草稿以后回过头来帮学生写代码都来得及。这个会议其实规模很小，虽然是形式化数学最最对口的顶会（再就只能投期刊了），但每年也就30-50多篇投稿，跟机器学习那些会议动辄上万投稿的没法比。这也反映了本领域的难度（未必是冷门，但要想搞出一篇像样的论文来最起码得干一年）。那就没什么可说的了，明天收到导师和学生的回信就着手上传摘要，然后就开始写了。我自从2017年学成这门手艺以后开始给HOL4贡献概率论形式化证明，在业界小有名气，但还没发表过一篇相关的论文（以我的代码为基础的论文只能引用我的 GitHub PR 链接）。这次的机会不能错过（虽然一作留给学生了）。