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…
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…
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…