wl678 at cornell.edu

Computer Science Department
Cornell University

Google Scholar

I'm a PhD student at Cornell University. I'm interested in machine learning for code generation and symbolic reasoning tasks. Previously I worked at Google and X on large language models for code. Previously I worked in Preferred Neworks. Before that I was a research assistant in Academia Sinica. I worked on design and analysis of efficient algorithms to solve several important problems arising from cryptology, as well as the development and implementation of these algorithms on CPUs and GPUs.

Preprint

• I Speak, You Verify: Toward Trustworthy Neural Program Synthesis
  Darren Key, Wen-Ding Li, Kevin Ellis

Publications

• LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas
  Kensen Shi, Hanjun Dai, Wen-Ding Li, Kevin Ellis, Charles Sutton. Neurips 2023
• Natural Language to Code Generation in Interactive Data Science Notebooks
  Pengcheng Yin, Wen-Ding Li, Kefan Xiao, Abhishek Rao, Yeming Wen, Kensen Shi, Joshua Howland, Paige Bailey, Michele Catasta, Henryk Michalewski, Alex Polozov, Charles Sutton. ACL 2023
• High Performance Post-Quantum Key Exchange on FPGAs
  Po-Chun Kuo, Yu-Wei Chen, Yuan-Che Hsu, Chen-Mou Cheng, Wen-Ding Li, Bo-Yin Yang. J. Inf. Sci. Eng. 2021
• Parallelization on Gauss Sieve Algorithm over Ideal Lattice
  Po-Chun Kuo, Chen-Mou Cheng, Wen-Ding Li, Bo-Yin Yang. J. Inf. Sci. Eng. 2021
• Frobenius additive fast Fourier transform
  Wen-Ding Li, Ming-Shing Chen, Po-Chun Kuo, Chen-Mou Cheng, Bo-Yin Yang. ISSAC 2018
• Implementing 128-bit secure mpkc signatures
  Ming-Shing Chen, Wen-Ding Li, Bo-Yuan Peng, Bo-Yin Yang, Chen-Mou Cheng. IEICE 2018