2 papers
cs.SE2026
DeepFWI: Identifying Bug-Sensitive Warnings with Multi-Modal Code-Warning Semantics
Han Liu, Jian Zhang, Cen Zhang +7
Static analysis tools have evolved over time to assist in detecting bugs. However, the excessive false warnings can impede developers' productivity and confidence in the tools. Pre…
quant-ph2026
Quantangle-SAT: A Quantum SAT Solver Based on Entanglement and Equivalence Checking
Shang-Wei Lin, Ji-Qing Yan, Yean-Ru Chen +2
Satisfiability (SAT) is a central problem in computer science, and advances in SAT-solving algorithms have a far-reaching impact across many fields. Recent works have proposed quan…