Xu, Kangping

1. Beyond Bradley-Terry Models: A General Preference Model for Language Model Alignment
   2024/10/03 by Zhang, Yifan, Zhang, Ge, Wu, Yue +2 · 7 citations
   #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
2. Towards Automated Formal Verification of Backend Systems with LLMs
   2025/04/13 by Kang Xu, Xu, Kangping, Yuan Yang +4 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques