Kexin Pei

2
Papers
1
Total Citations

Papers (2)

Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency

NeurIPS 2025arXiv
1
citations

Exploiting Code Symmetries for Learning Program Semantics

ICML 2024arXiv
0
citations