Tang, Yuheng
- SeCodePLT: A Unified Platform for Evaluating the Security of Code GenAI
2024/10/14 by Nie, Yuzhou, Wang, Zhun, Yang, Yu +7 · 18 citations
#Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification
2025/02/04 by Hongwei Li, Li, Hongwei, Yuheng Tang +5 · 11 citations
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Modular Robots and Swarm Intelligence #Peer-to-Peer Network Technologies #Robotics (cs.RO)
- Co-PatcheR: Collaborative Software Patching with Component(s)-specific Small Reasoning Models
2025/05/25 by Tang, Yuheng, LI Hong-we, Kaijie Zhu +8 · 4 citations
Business, Management and Accounting · Computer Science · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Service-Oriented Architecture and Web Services #Software Engineering (cs.SE)