Wenda Li

51 papers A* 9C 1Journal 37Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Can I Have Your Order? Monte-Carlo Tree Search for Slot Filling Ordering in Diffusion Language Models.
CoRR
Joshua Ong Jun Leang, Yu Zhao, Mihaela Catalina Stoian, Wenda Li, Shay B. Cohen, Eleonora Giunchiglia
2026 J jnl
Neural Theorem Proving for Verification Conditions: A Real-World Benchmark.
CoRR
Qiyuan Xu, Xiaokun Luan, Renxi Wang, Joshua Ong Jun Leang, Peixin Wang, Haonan Li, Wenda Li, Conrad Watt
2026 J jnl
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics.
CoRR
Junqi Liu, Zihao Zhou, Zekai Zhu, Marco Dos Santos, Weikun He, Jiawei Liu, Ran Wang, Yunzhou Xie, Junqiao Zhao, Qiufeng Wang, Lihong Zhi, Jia Li, Wenda Li
2025 J jnl
APE-Bench I: Towards File-level Automated Proof Engineering of Formal Math Libraries.
CoRR
Huajian Xin, Luming Li, Xiaoran Jin, Jacques D. Fleuriot, Wenda Li
2025 J jnl
Coarse-to-Fine Hierarchical Alignment for UAV-based Human Detection using Diffusion Models.
CoRR
Wenda Li, Meng Wu, Sungmin Eum, Heesung Kwon, Qing Qu
2025 — conf
Eeyore: Realistic Depression Simulation via Expert-in-the-Loop Supervised and Preference Optimization.
ACL (Findings)
Siyang Liu, Bianca Brie, Wenda Li, Laura Biester, Andrew Lee, James W. Pennebaker, Rada Mihalcea
2025 J jnl
Eeyore: Realistic Depression Simulation via Supervised and Preference Optimization.
CoRR
Siyang Liu, Bianca Brie, Wenda Li, Laura Biester, Andrew Lee, James W. Pennebaker, Rada Mihalcea
2025 J jnl
Heimdall++: Optimizing GPU Utilization and Pipeline Parallelism for Efficient Single-Pulse Detection.
CoRR
Bingzheng Xia, Zujie Ren, Kuang Ma, Xiaoqian Li, Wenda Li, Shuibing He
2025 J jnl
Responsible smart home technology adoption: exploring public perceptions and key adoption factors.
Internet Things
Wenda Li, Tan Yigitcanlar, Alireza Nili, Will Neil Browne, Fei Li
2025 — conf
Theorem Prover as a Judge for Synthetic Data Generation.
ACL (1)
Joshua Ong Jun Leang, Giwon Hong, Wenda Li, Shay B. Cohen
2025 J jnl
Theorem Prover as a Judge for Synthetic Data Generation.
CoRR
Joshua Ong Jun Leang, Giwon Hong, Wenda Li, Shay B. Cohen
2024 J jnl
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.
CoRR
Huajian Xin, Daya Guo, Zhihong Shao, Zhizhou Ren, Qihao Zhu, Bo Liu, Chong Ruan, Wenda Li, Xiaodan Liang
2024 A* conf
Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization.
ICLR
Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu
2024 J jnl
Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization.
CoRR
Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu
2024 A* conf
End-to-End Ontology Learning with Large Language Models.
NeurIPS
Andy Lo, Albert Q. Jiang, Wenda Li, Mateja Jamnik
2024 J jnl
End-to-End Ontology Learning with Large Language Models.
CoRR
Andy Lo, Albert Q. Jiang, Wenda Li, Mateja Jamnik
2024 J jnl
Enhanced Growth Optimizer and Its Application to Multispectral Image Fusion.
Comput. Mater. Continua
Jeng-Shyang Pan, Wenda Li, Shu-Chuan Chu, Xiao Sui, Junzo Watada
2024 J jnl
Multi-Scale Acoustic Velocity Inversion Based on a Convolutional Neural Network.
Remote. Sens.
Wenda Li, Tianqi Wu, Hong Liu
2024 A* conf
Multi-language Diversity Benefits Autoformalization.
NeurIPS
Albert Q. Jiang, Wenda Li, Mateja Jamnik
2024 A* conf
Proving Theorems Recursively.
NeurIPS
Haiming Wang, Huajian Xin, Zhengying Liu, Wenda Li, Yinya Huang, Jianqiao Lu, Zhicheng Yang, Jing Tang, Jian Yin, Zhenguo Li, Xiaodan Liang
2024 J jnl
Proving Theorems Recursively.
CoRR
Haiming Wang, Huajian Xin, Zhengying Liu, Wenda Li, Yinya Huang, Jianqiao Lu, Zhicheng Yang, Jing Tang, Jian Yin, Zhenguo Li, Xiaodan Liang
2024 A* conf
Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe.
NeurIPS
Albert Q. Jiang, Alicja Ziarko, Bartosz Piotrowski, Wenda Li, Mateja Jamnik, Piotr Milos
2024 J jnl
Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe.
CoRR
Alicja Ziarko, Albert Q. Jiang, Bartosz Piotrowski, Wenda Li, Mateja Jamnik, Piotr Milos
2023 J jnl
A High-Resolution Velocity Inversion Method Based on Attention Convolutional Neural Network.
IEEE Trans. Geosci. Remote. Sens.
Wenda Li, Hong Liu, Tianqi Wu, Shoudong Huo
2023 A* conf
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.
ICLR
Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothée Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu
2023 J jnl
Evaluating Language Models for Mathematics through Interactions.
CoRR
Katherine M. Collins, Albert Q. Jiang, Simon Frieder, Lionel Wong, Miri Zilka, Umang Bhatt, Thomas Lukasiewicz, Yuhuai Wu, Joshua B. Tenenbaum, William Hart, Timothy Gowers, Wenda Li, Adrian Weller, Mateja Jamnik
2023 J jnl
Multilingual Mathematical Autoformalization.
CoRR
Albert Q. Jiang, Wenda Li, Mateja Jamnik
2022 J jnl
A Deep Learning Method for Denoising Based on a Fast and Flexible Convolutional Neural Network.
IEEE Trans. Geosci. Remote. Sens.
Wenda Li, Hong Liu, Jian Wang
2022 A* conf
Autoformalization with Large Language Models.
NeurIPS
Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy
2022 J jnl
Autoformalization with Large Language Models.
CoRR
Yuhuai Wu, Albert Q. Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy
2022 J jnl
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.
CoRR
Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, Wenda Li, Jiacheng Liu, Mateja Jamnik, Timothée Lacroix, Yuhuai Wu, Guillaume Lample
2022 J jnl
Structure-Preserving Random Noise Attenuation Method for Seismic Data Based on a Flexible Attention CNN.
Remote. Sens.
Wenda Li, Tianqi Wu, Hong Liu
2022 A* conf
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers.
NeurIPS
Albert Qiaochu Jiang, Wenda Li, Szymon Tworkowski, Konrad Czechowski, Tomasz Odrzygózdz, Piotr Milos, Yuhuai Wu, Mateja Jamnik
2022 J jnl
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers.
CoRR
Albert Q. Jiang, Wenda Li, Szymon Tworkowski, Konrad Czechowski, Tomasz Odrzygózdz, Piotr Milos, Yuhuai Wu, Mateja Jamnik
2021 C conf
A New Insight in Medical Resources Scheduling of Physical Examination with Adaptive Collaboration.
CSCWD
Wei Zhang, Wenda Li, Shaohua Teng, Dongning Liu
2021 J jnl
A fuzzy multi-objective programming optimization model for emergency resource dispatching under equitable distribution principle.
J. Intell. Fuzzy Syst.
Zhaoping Tang, Wenda Li, Shijun Yu, Jianping Sun
2021 A* conf
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning.
ICML
Yuhuai Wu, Markus N. Rabe, Wenda Li, Jimmy Ba, Roger B. Grosse, Christian Szegedy
2021 J jnl
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning.
CoRR
Yuhuai Wu, Markus N. Rabe, Wenda Li, Jimmy Ba, Roger B. Grosse, Christian Szegedy
2021 J jnl
Residual Learning of Cycle-GAN for Seismic Data Denoising.
IEEE Access
Wenda Li, Jian Wang
2021 J jnl
The Theorem of Three Circles.
Arch. Formal Proofs
Fox Thomson, Wenda Li
2020 J jnl
Irrationality Criteria for Series by Erdős and Straus.
Arch. Formal Proofs
Angeliki Koutsoukou-Argyraki, Wenda Li
2019 J jnl
The Transcendence of Certain Infinite Series.
Arch. Formal Proofs
Angeliki Koutsoukou-Argyraki, Wenda Li
2018 J jnl
Irrational Rapidly Convergent Series.
Arch. Formal Proofs
Angeliki Koutsoukou-Argyraki, Wenda Li
2018 — conf
Low-cost vector map assisted navigation strategy for autonomous vehicle.
APCCAS
Wenda Li, Xianjie Meng, Zheng Wang, Wenqi Fang, Jie Zou, Huiyun Li, Tianfu Sun, Jianing Liang
2018 J jnl
The Budan-Fourier Theorem and Counting Real Roots with Multiplicity.
Arch. Formal Proofs
Wenda Li
2017 J jnl
Count the Number of Complex Roots.
Arch. Formal Proofs
Wenda Li
2017 J jnl
Evaluate winding numbers through Cauchy indices.
Arch. Formal Proofs
Wenda Li
2017 J jnl
Implementation methods and applications of flow visualization in a watershed simulation platform.
Adv. Eng. Softw.
Shanghong Zhang, Wenda Li, Xiaohui Lei, Xiaowen Ding, Tianxiang Zhang
2016 — conf
Aggregation based Cell Selection Methods for multi-RAT HetNet.
WCSP
Shanlei Kan, Hongyuan Chen, Yuanping Zhu, Wenda Li
2014 J jnl
The Sturm-Tarski Theorem.
Arch. Formal Proofs
Wenda Li
2013 J jnl
The Königsberg Bridge Problem and the Friendship Theorem.
Arch. Formal Proofs
Wenda Li