4 papers
Explicit Factorization of over via Cofactor-Free Single-Seed Hensel Lifting
Yongchao Wang, Yang Ding, Jiansheng Yang +1
We present a complete framework for the explicit factorization of over integer residue rings for arbitrary with . Classical approaches…
Explicit Factorization of over : A Structural Approach via Dickson Polynomials
Yongchao Wang, Yang Ding, Jiansheng Yang +1
Let be an odd prime. The factorization of the polynomial over the integer residue ring is pivotal for constructing cyclic codes with Hermitian sy…
Security Is Relative: Training-Free Vulnerability Detection via Multi-Agent Behavioral Contract Synthesis
Yongchao Wang, Zhiqiu Huang
Deep learning for vulnerability detection has shown promising results on early benchmarks, but recent evaluations reveal catastrophic degradation: models achieving F1 > 0.68 on leg…
Project Prometheus: Bridging the Intent Gap in Agentic Program Repair via Reverse-Engineered Executable Specifications
Yongchao Wang, Zhiqiu Huang
The transition from neural machine translation to agentic workflows has revolutionized Automated Program Repair (APR). However, existing agents, despite their advanced reasoning ca…