A machine-to-machine based framework for diabetes lifestyle management. - Zhen Wei Zhao; Qiuran Ma; Cheng-Chung Li; Lingyi Liu; Wen-Ding Li (ICNSC, 2013)

Faster Multiplication for Long Binary Polynomials. - Ming-Shing Chen; Chen-Mou Cheng; Po-Chun Kuo; Wen-Ding Li; Bo-Yin Yang (CoRR, 2017)

Post-Quantum Key Exchange on FPGAs. - Po-Chun Kuo; Wen-Ding Li; Yu-Wei Chen; Yuan-Che Hsu; Bo-Yuan Peng; Chen-Mou Cheng; Bo-Yin Yang (IACR Cryptol. ePrint Arch., 2017)

Frobenius Additive Fast Fourier Transform. - Wen-Ding Li; Ming-Shing Chen; Po-Chun Kuo; Chen-Mou Cheng; Bo-Yin Yang (ISSAC, 2018)

Multiplying boolean Polynomials with Frobenius Partitions in Additive Fast Fourier Transform. - Ming-Shing Chen; Chen-Mou Cheng; Po-Chun Kuo; Wen-Ding Li; Bo-Yin Yang (CoRR, 2018)

Implementing 128-Bit Secure MPKC Signatures. - Ming-Shing Chen; Wen-Ding Li; Bo-Yuan Peng; Bo-Yin Yang; Chen-Mou Cheng (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018)

Building an Authoring Tool to Create Blockly-based Programming Learning Games for Elementary Students. - Jun-Ming Su; Meng-Jhen Li; Wen-Ding Li; Xin-Yuan Zhuang (IIAI-AAI, 2019)

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)

I Speak, You Verify: Toward Trustworthy Neural Program Synthesis. - Darren Key; Wen-Ding Li; Kevin Ellis (CoRR, 2022)

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; Oleksandr Polozov; Charles Sutton (ACL (1), 2023)

LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas. - Kensen Shi; Hanjun Dai; Wen-Ding Li; Kevin Ellis; Charles Sutton (NeurIPS, 2023)

The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations? - Alex Gu; Wen-Ding Li; Naman Jain; Theo Olausson; Celine Lee; Koushik Sen; Armando Solar-Lezama (ACL (Findings), 2024)

Is Programming by Example Solved by LLMs? - Wen-Ding Li; Kevin Ellis (NeurIPS, 2024)

StarCoder 2 and The Stack v2: The Next Generation. - Anton Lozhkov; Raymond Li; Loubna Ben Allal; Federico Cassano; Joel Lamy-Poirier; Nouamane Tazi; Ao Tang; Dmytro Pykhtar; Jiawei Liu 004; Yuxiang Wei 003; Tianyang Liu 003; Max Tian; et al. (CoRR, 2024)

BigCodeBench: Benchmarking Code Generation with Diverse Function Calls and Complex Instructions. - Terry Yue Zhuo; Minh Chien Vu; Jenny Chim; Han Hu; Wenhao Yu 002; Ratnadira Widyasari; Imam Nur Bani Yusuf; Haolan Zhan; Junda He; Indraneil Paul; Simon Brunner; Chen Gong 005; et al. (CoRR, 2024)

Combining Induction and Transduction for Abstract Reasoning. - Wen-Ding Li; Keya Hu; Carter Larsen; Yuqing Wu; Simon Alford; Caleb Woo; Spencer M. Dunn; Hao Tang 008; Michelangelo Naim; Dat Nguyen; Wei-Long Zheng; Zenna Tavares; et al. (CoRR, 2024)

Surveying the Effects of Quality, Diversity, and Complexity in Synthetic Data From Large Language Models. - Alex Havrilla; Andrew Dai 001; Laura O'Mahony; Koen Oostermeijer; Vera Zisler; Alon Albalak; Fabrizio Milo; Sharath Chandra Raparthy; Kanishk Gandhi; Baber Abbasi; Duy Phung; Maia Iyer; et al. (CoRR, 2024)

LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code. - Naman Jain; King Han; Alex Gu; Wen-Ding Li; Fanjia Yan; Tianjun Zhang; Sida Wang 001; Armando Solar-Lezama; Koushik Sen; Ion Stoica (ICLR, 2025)

Combining Induction and Transduction for Abstract Reasoning. - Wen-Ding Li; Keya Hu; Carter Larsen; Yuqing Wu; Simon Alford; Caleb Woo; Spencer M. Dunn; Hao Tang 008; Wei-Long Zheng; Yewen Pu; Kevin Ellis (ICLR, 2025)

BigCodeBench: Benchmarking Code Generation with Diverse Function Calls and Complex Instructions. - Terry Yue Zhuo; Minh Chien Vu; Jenny Chim; Han Hu; Wenhao Yu 002; Ratnadira Widyasari; Imam Nur Bani Yusuf; Haolan Zhan; Junda He; Indraneil Paul; Simon Brunner; Chen Gong 005; et al. (ICLR, 2025)

MMTEB: Massive Multilingual Text Embedding Benchmark. - Kenneth C. Enevoldsen; Isaac Chung; Imene Kerboua; Márton Kardos; Ashwin Mathur; David Stap; Jay Gala; Wissam Siblini; Dominik Krzeminski; Genta Indra Winata; Saba Sturua; Saiteja Utpala; et al. (CoRR, 2025)

Challenges and Paths Towards AI for Software Engineering. - Alex Gu; Naman Jain; Wen-Ding Li; Manish Shetty; Yijia Shao; Ziyang Li; Diyi Yang; Kevin Ellis; Koushik Sen; Armando Solar-Lezama (CoRR, 2025)

M1: Towards Scalable Test-Time Compute with Mamba Reasoning Models. - Junxiong Wang; Wen-Ding Li; Daniele Paliotta; Daniel Ritter 007; Alexander M. Rush; Tri Dao (CoRR, 2025)

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning. - Haiming Wang; Mert Unsal; Xiaohan Lin; Mantas Baksys; Junqi Liu; Marco Dos Santos; Flood Sung; Marina Vinyes; Zhenzhe Ying; Zekai Zhu; Jianqiao Lu; Hugues de Saxcé; et al. (CoRR, 2025)

Magistral. - Abhinav Rastogi; Albert Q. Jiang; Andy Lo; Gabrielle Berrada; Guillaume Lample; Jason Rute; Joep Barmentlo; Karmesh Yadav; Kartik Khandelwal; Khyathi Raghavi Chandu; Léonard Blier; Lucile Saulnier; et al. (CoRR, 2025)