2 papers
cs.SE2026
Reducing False Positives in Static Bug Detection with LLMs: An Empirical Study in Industry
Xueying Du, Jiayi Feng, Yi Zou +6
Static analysis tools (SATs) are widely adopted in both academia and industry for improving software quality, yet their practical use is often hindered by high false positive rates…
cond-mat.str-el2025
Dominant Kitaev interaction and field-induced quantum phase transitions in triangular-lattice KCeSe2
Mingtai Xie, Zheng Zhang, Weizhen Zhuo +13
Realizing Kitaev interactions on triangular lattices offers a compelling platform for exploring quantum-spin-liquid physics beyond the conventional honeycomb lattice framework. Her…