news
All updates — research, competitions, and life.
| Apr 24, 2026 | MWDS 项目阶段性更新：在 ECAI 2025 baseline 上接入 Ant-Q 插件后，Deep-v6 在两套测试集上的 row-averaged LB-gap 下降 23.7%–31.2%，Fast-v19 下降 6.9%–9.9%。项目记录见 AntQO for MWDS。 |
|---|---|
| Apr 01, 2026 | 入选云南大学 2025–2026 学年综合测评 年级第一（102 人）。 |
| Mar 10, 2026 | DiverseSAT 的期刊版正在准备投稿 JAIR。新增实验覆盖 7 个 benchmark 家族、289 个 instance，并系统比较 DW / IW 两类编码与三种搜索策略。 |
| Feb 15, 2026 | 开始整理 UNB-MT：在 DRF-MT (IJCAI 2021) 的 meta-type 设定下，打破每轮统一 $y$ 的限制，并考察这种差异化是否能在保持核心公平性约束的同时提升社会福利。 |
| Nov 08, 2025 | 完成 NLIP → MaxSAT benchmark 过滤管线，覆盖 QPLIB、NL、SMT-LIB、CSPlib、XCSP 五个来源库，得到 137 个 QPLIB 实例与 2591 个 SMT-LIB 实例，作为后续编码评测的主数据集。 |
| Oct 01, 2025 | 大创项目”正念冥想与 EEG 可穿戴”顺利结题，获校级优秀结题认定。 |
| Jun 01, 2025 | 目前已累计 12 项竞赛奖项，包括全国大学生计算机能力挑战赛一等奖、华教杯全国大学生数学竞赛一等奖，以及 ACM-ICPC 区域赛铜牌等。 |