CWEval: Outcome-driven Evaluation on Functionality and Security of LLM Code Generation.
CoRR, January, 2025
Quarl: A Learning-Based Quantum Circuit Optimizer.
Proc. ACM Program. Lang., 2024
SemCoder: Training Code Language Models with Comprehensive Semantics.
CoRR, 2024
SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024
NeuRI: Diversifying DNN Generation via Inductive Rule Inference.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023