简历

杨李正凌的个人简历。

基本信息

姓名 杨李正凌（Zhengling Yangli）
邮箱 yanglizhengling@stu.ynu.edu.cn
语言 中文、英语

教育经历

  • 2024 — 至今
    统计学 本科 — 云南大学 数学与统计学院
    • GPA：3.79；大一综合素质测评排名：1 / 102（学院 2026 年 4 月证明）
    • 课程与训练：数学分析、概率论与数理统计、运筹学、程序设计与统计建模

代表研究

  • SAT 2026 · 已发表
    NLIPSat
    • 第一作者；有界多项式非线性整数规划到 MaxSAT 的编码工具
    • 与中国人民大学、法国皮卡第儒勒·凡尔纳大学的合作者共同开展研究
    • 参加里斯本 FloC / SAT 2026 学术交流；DOI：10.4230/LIPIcs.SAT.2026.43
  • PRICAI 2026 · 已录用
    Learning Instance-Specific Reduction Policies for the Minimum Hitting Set Problem
    • 最小击中集问题的实例特定规约策略研究
    • 录用依据：2026 年 8 月会议录用邮件；正式出版信息待补充
  • 持续探索
    组合优化与公平资源分配
    • 研究搜索、规约与多资源分配中的结构性问题
    • 通过推导、程序实现和对照实验分析方法的适用范围
  • 本科项目
    MathRAG 数学智能解题系统
    • 参与并领导检索增强的数学问答系统开发，连接方法设计与系统实现

精选奖项与荣誉

  • 2026
    • 第十二届全国大学生统计建模大赛全国总决赛二等奖
    • 2025—2026 学年云南省级五好学生
  • 2025
    • 第七届全国高校计算机能力挑战赛程序设计挑战赛 Python 科目全国决赛一等奖
    • 全国大学生数学建模竞赛省级一等奖
    • 富滇银行奖学金（2024—2025 学年）

实践与表达

  • 学院辩论队队长
  • 美丽中国梦想导师项目志愿服务

技能与工具

编程与分析
  • Python、C / C++、R
  • LaTeX、统计建模与实验分析
研究与实现
  • SAT / MaxSAT 编码、组合优化、基准实验
  • 检索增强问答与 Web 系统开发