Zhengling Yangli · 杨李正凌

Hi, I am Zhengling Yangli (杨李正凌), a Statistics undergraduate at Yunnan University, enrolled in 2024. My work brings together statistics, combinatorial optimization, and computer science. I enjoy taking a problem from a mathematical formulation to an implementation, then testing what the results actually tell us.

Mathematics and programming competitions helped me connect coursework with concrete problems. Working on MathRAG, a mathematical question-answering system, led me to think more about implementation and reliable reasoning. My subsequent optimization projects taught me to ask whether an improved metric reflects a meaningful improvement in solving the problem. These experiences shape my attention to explicit assumptions, reproducible experiments, and careful interpretation.

Selected research

• NLIPSat · SAT 2026, published; first author. A toolkit for encoding bounded polynomial nonlinear integer programs into MaxSAT, developed with collaborators at Renmin University of China and Université de Picardie Jules Verne. I attended FloC / SAT 2026 in Lisbon to present and discuss the work. Paper · Code
• Instance-specific reduction policies for Minimum Hitting Set · accepted at PRICAI 2026. The paper is titled Learning Instance-Specific Reduction Policies for the Minimum Hitting Set Problem. Proceedings details will be added when available. Publications and accepted work
• Ongoing exploration. My projects include search and reduction in combinatorial optimization, fair multi-resource allocation, and retrieval-augmented mathematical question answering. These experiences help me identify the questions I want to pursue further. Projects

Selected experiences

• Academic foundation: GPA 3.79; ranked 1 / 102 in the first-year comprehensive assessment, as documented by the School in April 2026.
• Statistical modeling: second prize in the national final of the 12th National Undergraduate Statistical Modeling Competition, 2026.
• Programming: first prize in the Python national final of the 7th National University Computer Ability Challenge, 2025.
• Recognition: Yunnan provincial “Five-Good Student” honor for the 2025–2026 academic year.

Beyond research

Debate, volunteer teaching, and sport are also part of my university life. Leading the School’s debate team and participating in the Teach For China Dream Mentor program have given me opportunities to explain ideas, listen to different perspectives, and work with others.

I welcome conversations about research, projects, and learning. Email · CV · GitHub · 中文介绍