Li, Wenda

17 publications

NeurIPS 2025 Association-Focused Path Aggregation for Graph Fraud Detection Tian Qiu, Wenda Li, Zunlei Feng, Jie Lei, Tao Wang, Yi Gao, Mingli Song, Yang Gao

ICML 2025 Position: Formal Mathematical Reasoning—A New Frontier in AI Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song

NeurIPS 2025 Shallow Diffuse: Robust and Invisible Watermarking Through Low-Dim Subspaces in Diffusion Models Wenda Li, Huijie Zhang, Qing Qu

NeurIPSW 2024 Advancing Theorem Proving in LLMs Through Large-Scale Synthetic Data Huajian Xin, Daya Guo, Zhihong Shao, Z.Z. Ren, Qihao Zhu, Bo Liu, Chong Ruan, Wenda Li, Xiaodan Liang

ICLR 2024 Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization Jin Peng Zhou, Charles E Staats, Wenda Li, Christian Szegedy, Kilian Q Weinberger, Yuhuai Wu

NeurIPS 2024 End-to-End Ontology Learning with Large Language Models Andy Lo, Albert Q. Jiang, Wenda Li, Mateja Jamnik

ICMLW 2024 More Details, Please: Improving Autoformalization with More Detailed Proofs Guillem Tarrach, Albert Q. Jiang, Daniel Raggi, Wenda Li, Mateja Jamnik

NeurIPS 2024 Multi-Language Diversity Benefits Autoformalization Albert Q. Jiang, Wenda Li, Mateja Jamnik

NeurIPS 2024 Proving Theorems Recursively Haiming Wang, Huajian Xin, Zhengying Liu, Wenda Li, Yinya Huang, Jianqiao Lu, Zhicheng Yang, Jing Tang, Jian Yin, Zhenguo Li, Xiaodan Liang

NeurIPS 2024 Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe Albert Q. Jiang, Alicja Ziarko, Bartosz Piotrowski, Wenda Li, Mateja Jamnik, Piotr Miłoś

NeurIPSW 2024 Shallow Diffuse: Robust and Invisible Watermarking Through Low-Dimensional Subspaces in Diffusion Models Wenda Li, Huijie Zhang, Qing Qu

ICML 2024 Subgoal-Based Demonstration Learning for Formal Theorem Proving Xueliang Zhao, Wenda Li, Lingpeng Kong

ICLR 2023 Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothee Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu

NeurIPS 2022 Autoformalization with Large Language Models Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy

NeurIPS 2022 Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers Albert Qiaochu Jiang, Wenda Li, Szymon Tworkowski, Konrad Czechowski, Tomasz Odrzygóźdź, Piotr Miłoś, Yuhuai Wu, Mateja Jamnik

ICLR 2021 IsarStep: A Benchmark for High-Level Mathematical Reasoning Wenda Li, Lei Yu, Yuhuai Wu, Lawrence C. Paulson

ICML 2021 LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning Yuhuai Wu, Markus N Rabe, Wenda Li, Jimmy Ba, Roger B Grosse, Christian Szegedy