1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.AI2026★ 1 cited
Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement
Hengjie Liu, Zhenya Zhang, Jianjun Zhao
Formal verification of transformers has become increasingly important due to their widespread deployment in safety-critical applications. Compared to classic neural networks, the i…
cs.SE2026
GenCode: A Generic Data Augmentation Framework for Boosting Deep Learning-Based Code Understanding
Zeming Dong, Qiang Hu, Xiaofei Xie +4
Pre-trained code models lead the era of code intelligence, with multiple models designed with impressive performance. However, one important problem, data augmentation for code dat…