数学与统计学院
云南大学 · 昆明
你好，我是杨李正凌，云南大学统计学专业 2024 级本科生。我的学习与研究经历连接着统计学、组合优化和计算机科学。我喜欢把一个问题从概念推导到程序实现，再用实验检验自己的理解。
数学与程序设计竞赛让我开始把课堂知识用到具体问题中。参与 MathRAG 数学智能解题系统后，我进一步关注方法如何实现、推理是否可靠。在后续的优化研究里，我也逐渐学会追问：一个指标变好了，究竟意味着什么？这一过程让我更重视清楚的假设、可复现的实验，以及对结果的准确解释。
代表研究
- NLIPSat · SAT 2026 已发表，第一作者。 将有界多项式非线性整数规划编码为 MaxSAT，连接数学建模、逻辑表示与求解器实现。与中国人民大学、法国皮卡第儒勒·凡尔纳大学的合作者共同开展研究，并在里斯本参加 FloC / SAT 2026 学术交流。论文 · 代码
- 最小击中集的实例特定规约策略 · PRICAI 2026 已录用。 相关论文为 Learning Instance-Specific Reduction Policies for the Minimum Hitting Set Problem。目前按“已录用”展示，正式出版信息随后补充。论文与录用成果
- 持续探索。 目前的项目涉及组合优化中的搜索与规约、多资源公平分配，以及检索增强的数学问答。它们是我探索研究问题的实践，也帮助我进一步判断值得长期投入的方向。项目
精选经历
- 学习基础： GPA 3.79；大一学年综合素质测评排名 1 / 102，依据学院 2026 年 4 月出具的证明。
- 统计建模： 2026 年第十二届全国大学生统计建模大赛全国总决赛二等奖。
- 程序设计： 2025 年第七届全国高校计算机能力挑战赛，程序设计挑战赛 Python 科目全国决赛一等奖。
- 综合成长： 2025—2026 学年云南省级五好学生。
研究之外
我也在辩论、志愿教学和运动中学习。担任学院辩论队队长、参与美丽中国梦想导师项目的经历，让我练习怎样把想法讲清楚、倾听不同的观点，并与伙伴一起完成一件事情。