简历

General Information

Full Name	Zhengling Yangli (杨李正凌)
Languages	Chinese (native), English (academic reading / writing)

Education

• 2024 — Present

  B.Sc. in Statistics — School of Mathematics and Statistics, Yunnan University

  • Student ID: 20241910355
  • Core coursework: Mathematical Analysis, Probability & Statistics, Operations Research, C++ Programming, R, Python

Research Experience

• 2026 — Present

  MWDS / Ant-Q plug-in for Dual-Bound Search

  • Ant-Colony + Q-Learning module plugged into the LB-side pair construction of ECAI-2025 baselines Dual-Deep / Dual-Fast
  • Best variants Deep-v6 and Fast-v19: −23.7% to −31.2% row-averaged gap on Deep and −6.9% to −9.9% on Fast across two test suites
  • Per-instance gap win-rate up to 99.37%; identified the LB → UB coupling bottleneck through hard reduction rules
• 2025 — Present

  DiverseSAT (journal version)

  • $k$-diverse SAT model enumeration via DW / IW threshold encodings + binary-lifting / binary-search / SAT-UNSAT
  • Model-aware refinement exploiting partial solutions
  • Benchmark: 289 instances across 7 families (ais, flat100±, hardware, logistics, mc2024, morphed)
  • Targeting JAIR
• 2025 — Present

  NLIP → MaxSAT

  • Systematic study of OH / UNA / BIN / BIN+DECOMP encodings for non-linear integer programming
  • Built NLIP_filters pipeline across 5 source libraries (QPLIB, NL, SMT-LIB, CSPlib, XCSP)
  • Benchmarks: QPLIB (137), SMT-LIB QF_NIA (2591), Diverse-SAT (287)
• 2026 — Present

  Fair-Ratio / UNB-MT

  • Extension of DRF-MT (IJCAI 2021) to meta-type accessibility via a UNB-style mechanism
  • Proved SI, intra-group EF and minority → majority EF; analyzed the failure of linear EF sufficient conditions under partial access
  • +2%–6% social welfare over DRF-MT on meta-type benchmarks
• 2025

  MathRAG

  • Retrieval-augmented mathematical reasoning with Qwen2-Math backbone
  • ∼94% on GSM8K and ∼89% on MATH
  • Full-stack system (Vue frontend, Node.js + Redis backend)
• 2024 — 2025

  Mindfulness × EEG Wearables

  • National College Student Innovation & Entrepreneurship Program (大创)
  • Quantified mindfulness meditation effects via EEG wearable signals + standardized mental-health questionnaires
  • Concluded 2025-10

Awards & Honors

• 2025

  • [National · 1st Prize] National Collegiate Computer Ability Challenge
  • [National · 1st Prize] 7th Huajiao Cup National Mathematics Competition (non-math major track), final round
  • [National · 1st Prize] FLTRP·Guocai Cup – Understanding Contemporary China, English comprehensive competition
  • [National · Bronze Medal] ACM-ICPC International Collegiate Programming Contest
  • [National · 3rd Prize] National College English Contest (Class C)
  • [Provincial · 1st Prize] Chinese Mathematical Olympiad for College Students (Advanced Math)
  • [Provincial · 1st Prize] National Undergraduate Mathematical Modeling Contest
  • [Provincial · 1st Prize] National College Computer Application and Information Literacy Contest
  • [Provincial · 2nd Prize] CCCC (GPLT) — Group Programming Ladder Tournament
  • [Provincial · 3rd Prize] 18th Sail·Inspur Cup China Collegiate Computer Design Contest (Yunnan)
  • [Provincial · 3rd Prize] Blue Bridge Cup Software and IT Talent Contest
• 2024

  • [National · 3rd Prize] National College Student English Translation Contest (college track)

Skills

Languages

• Python, C / C++, R, TypeScript / JavaScript
• LaTeX

Research tooling

• SAT / MaxSAT — PySAT, MaxHS, WMaxCDCL, OpenWBO, CaDiCaL, RoundingSAT
• SMT / ILP — Z3, CPLEX
• Benchmarking — SLURM job management, custom batch runners

Engineering

• Web — Astro, Express, Vue, Node.js, Redis
• Data — Pandas, NumPy, SciPy, ggplot2, NetworkX