3 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.CL2026
HalluTracer: Pre-Decoding Truthfulness Prediction via Depth-Averaged Probe-Logit
Zhihao Guo, Zonghan Wu, Huan Huo +6
Internal-state probes enable truthfulness prediction before a large language model generates an answer. When detectors change both the layers they read and the rules used to combin…
cs.SE2025
Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval
Xiao Cheng, Zhihao Guo, Huan Huo +1
Memory-related errors in C programming continue to pose significant challenges in software development, primarily due to the complexities of manual memory management inherent in th…