1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2026
Analyzing the Narration Gap in LLM-Solver Loops
Zunchen Huang, Songgaojun Deng
Formal tools such as SAT and SMT solvers are increasingly embedded in language model reasoning pipelines when a safety or security critical question can be formulated in logic. Unl…
cs.CR2022★ 1 cited
Understanding Concurrency Vulnerabilities in Linux Kernel
Zunchen Huang, Shengjian Guo, Meng Wu +1
While there is a large body of work on analyzing concurrency related software bugs and developing techniques for detecting and patching them, little attention has been given to con…