3 papers
cs.LG2026
VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation
Yifan Bai, Xiaoyang Liu, Zihao Mou +7
As large language models (LLMs) are increasingly deployed for software engineering, constructing high-quality benchmarks is crucial for evaluating not just the functional correctne…
math.OC2026
Formalization of Two Fixed-Point Algorithms in Hilbert Spaces
Yifan Bai, Yantao Li, Jian Yu +1
Iterative algorithms are fundamental tools for approximating fixed-points of nonexpansive operators in real Hilbert spaces. Among them, Krasnosel'ski\uı--Mann iteration and Halper…
math.OC2026
Adaptive Dimension Reduction for Overlapping Group Sparsity
Yifan Bai, Clarice Poon, Jingwei Liang
Typical dimension reduction techniques for nonoverlapping sparse optimization involve screening or sieving strategies based on a dual certificate derived from the first-order optim…