1.3k citations · 2.1k across the 28 of their papers we have counts for
4 papers · 1 filter
SemRep: Generative Code Representation Learning with Code Transformations
Weichen Li, Jiamin Song, Bogdan Alexandru Stoica +4
Code transformation is a foundational capability in the software development process, where its effectiveness relies on constructing a high-quality code representation to character…
Exploiting Code Symmetries for Learning Program Semantics
Kexin Pei, Weichen Li, Qirui Jin +5
This paper tackles the challenge of teaching code semantics to Large Language Models (LLMs) for program analysis by incorporating code symmetries into the model architecture. We in…
Efficient Formal Safety Analysis of Neural Networks
Shiqi Wang, Kexin Pei, Justin Whitehouse +2
Neural networks are increasingly deployed in real-world safety-critical domains such as autonomous driving, aircraft collision avoidance, and malware detection. However, these netw…
DeepXplore: Automated Whitebox Testing of Deep Learning Systems
Kexin Pei, Yinzhi Cao, Junfeng Yang +1
Deep learning (DL) systems are increasingly deployed in safety- and security-critical domains including self-driving cars and malware detection, where the correctness and predictab…