2 papers
cs.CL2026
LaTER: Efficient Test-Time Reasoning via Latent Exploration and Explicit Verification
Xuan Li, Yining Wang, Yuchen Liu +7
Chain-of-thought (CoT) reasoning improves large language models (LLMs) on difficult tasks, but it also makes inference expensive because every intermediate step must be generated a…
cs.SE2026
A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets
Kaiwen Zhang, Guanjun Liu
Safe Rust guarantees memory safety through strict compile-time constraints: ownership can be transferred, borrowing can temporarily guarantee either shared read-only or exclusive w…