2 papers
cs.LG2026
Right Direction, Wrong Step: Geometric Analysis of Finite-Step Failure in Looped Transformers
Zhihao Guo, Zonghan Wu, Haizhou Du +4
Looped Transformers offer a parameter-efficient route to test-time scaling by reusing shared layers for iterative latent reasoning. However, additional iterations can reduce suppor…
cs.NI2025
Janus: Leveraging Incremental Computation for Efficient DNS Verification
Yao Wang, Kexin Yu, Wenyun Xu +11
Existing DNS configuration verification tools face significant issues (e.g., inefficient and lacking support for incremental verification). Inspired by the advancements in recent w…