


default search action
Wenda Li
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. The links to all actual bibliographies of persons of the same or a similar name can be found below. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Other persons with the same name
- Wenda Li 0001
— University of Edinburgh, UK (and 1 more)
- Wenda Li 0002
— University of Dundee, Dundee, UK
- Wenda Li 0003 — Zhejiang University, China
- Wenda Li 0004 — Nagoya University, Nagoya, Aichi, Japan
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j16]Wenda Li
, Tianqi Wu, Hong Liu:
Multi-Scale Acoustic Velocity Inversion Based on a Convolutional Neural Network. Remote. Sens. 16(5): 772 (2024) - [c8]Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu:
Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization. ICLR 2024 - [i13]Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu:
Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization. CoRR abs/2403.18120 (2024) - [i12]Huajian Xin, Daya Guo, Zhihong Shao, Zhizhou Ren, Qihao Zhu, Bo Liu, Chong Ruan, Wenda Li, Xiaodan Liang:
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data. CoRR abs/2405.14333 (2024) - [i11]Haiming Wang, Huajian Xin, Zhengying Liu, Wenda Li, Yinya Huang, Jianqiao Lu, Zhicheng Yang, Jing Tang, Jian Yin, Zhenguo Li, Xiaodan Liang:
Proving Theorems Recursively. CoRR abs/2405.14414 (2024) - [i10]Alicja Ziarko, Albert Q. Jiang, Bartosz Piotrowski, Wenda Li, Mateja Jamnik, Piotr Milos:
Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe. CoRR abs/2406.04165 (2024) - [i9]Wenda Li, Huijie Zhang, Qing Qu:
Shallow Diffuse: Robust and Invisible Watermarking through Low-Dimensional Subspaces in Diffusion Models. CoRR abs/2410.21088 (2024) - [i8]Andy Lo, Albert Q. Jiang, Wenda Li, Mateja Jamnik:
End-to-End Ontology Learning with Large Language Models. CoRR abs/2410.23584 (2024) - [i7]Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin Lauter, Swarat Chaudhuri, Dawn Song:
Formal Mathematical Reasoning: A New Frontier in AI. CoRR abs/2412.16075 (2024) - 2023
- [j15]Wenda Li
, Hong Liu, Tianqi Wu, Shoudong Huo
:
A High-Resolution Velocity Inversion Method Based on Attention Convolutional Neural Network. IEEE Trans. Geosci. Remote. Sens. 61: 1-14 (2023) - [c7]Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothée Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu:
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs. ICLR 2023 - [i6]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:
Evaluating Language Models for Mathematics through Interactions. CoRR abs/2306.01694 (2023) - [i5]Albert Q. Jiang, Wenda Li, Mateja Jamnik:
Multilingual Mathematical Autoformalization. CoRR abs/2311.03755 (2023) - 2022
- [j14]Wenda Li
, Tianqi Wu, Hong Liu:
Structure-Preserving Random Noise Attenuation Method for Seismic Data Based on a Flexible Attention CNN. Remote. Sens. 14(20): 5240 (2022) - [j13]Wenda Li
, Hong Liu, Jian Wang
:
A Deep Learning Method for Denoising Based on a Fast and Flexible Convolutional Neural Network. IEEE Trans. Geosci. Remote. Sens. 60: 1-13 (2022) - [c6]Albert Qiaochu Jiang, Wenda Li, Szymon Tworkowski, Konrad Czechowski, Tomasz Odrzygózdz, Piotr Milos, Yuhuai Wu, Mateja Jamnik:
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers. NeurIPS 2022 - [c5]Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy:
Autoformalization with Large Language Models. NeurIPS 2022 - [i4]Albert Q. Jiang, Wenda Li, Szymon Tworkowski, Konrad Czechowski, Tomasz Odrzygózdz, Piotr Milos, Yuhuai Wu, Mateja Jamnik:
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers. CoRR abs/2205.10893 (2022) - [i3]Yuhuai Wu, Albert Q. Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy:
Autoformalization with Large Language Models. CoRR abs/2205.12615 (2022) - [i2]Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, Wenda Li, Jiacheng Liu, Mateja Jamnik, Timothée Lacroix, Yuhuai Wu, Guillaume Lample:
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs. CoRR abs/2210.12283 (2022) - 2021
- [j12]Wenda Li
, Jian Wang:
Residual Learning of Cycle-GAN for Seismic Data Denoising. IEEE Access 9: 11585-11597 (2021) - [j11]Fox Thomson, Wenda Li:
The Theorem of Three Circles. Arch. Formal Proofs 2021 (2021) - [j10]Zhaoping Tang, Wenda Li, Shijun Yu, Jianping Sun:
A fuzzy multi-objective programming optimization model for emergency resource dispatching under equitable distribution principle. J. Intell. Fuzzy Syst. 41(4): 5107-5116 (2021) - [c4]Wei Zhang, Wenda Li, Shaohua Teng, Dongning Liu:
A New Insight in Medical Resources Scheduling of Physical Examination with Adaptive Collaboration. CSCWD 2021: 546-551 - [c3]Yuhuai Wu, Markus N. Rabe, Wenda Li, Jimmy Ba, Roger B. Grosse, Christian Szegedy:
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning. ICML 2021: 11251-11262 - [i1]Yuhuai Wu, Markus N. Rabe, Wenda Li, Jimmy Ba, Roger B. Grosse, Christian Szegedy:
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning. CoRR abs/2101.06223 (2021) - 2020
- [j9]Angeliki Koutsoukou-Argyraki, Wenda Li:
Irrationality Criteria for Series by Erdős and Straus. Arch. Formal Proofs 2020 (2020)
2010 – 2019
- 2019
- [j8]Angeliki Koutsoukou-Argyraki, Wenda Li:
The Transcendence of Certain Infinite Series. Arch. Formal Proofs 2019 (2019) - 2018
- [j7]Angeliki Koutsoukou-Argyraki, Wenda Li:
Irrational Rapidly Convergent Series. Arch. Formal Proofs 2018 (2018) - [j6]Wenda Li:
The Budan-Fourier Theorem and Counting Real Roots with Multiplicity. Arch. Formal Proofs 2018 (2018) - [c2]Wenda Li, Xianjie Meng, Zheng Wang, Wenqi Fang, Jie Zou, Huiyun Li, Tianfu Sun
, Jianing Liang:
Low-cost vector map assisted navigation strategy for autonomous vehicle. APCCAS 2018: 536-539 - 2017
- [j5]Shanghong Zhang, Wenda Li, Xiaohui Lei, Xiaowen Ding, Tianxiang Zhang:
Implementation methods and applications of flow visualization in a watershed simulation platform. Adv. Eng. Softw. 112: 66-75 (2017) - [j4]Wenda Li:
Count the Number of Complex Roots. Arch. Formal Proofs 2017 (2017) - [j3]Wenda Li:
Evaluate winding numbers through Cauchy indices. Arch. Formal Proofs 2017 (2017) - 2016
- [c1]Shanlei Kan, Hongyuan Chen, Yuanping Zhu, Wenda Li:
Aggregation based Cell Selection Methods for multi-RAT HetNet. WCSP 2016: 1-5 - 2014
- [j2]Wenda Li:
The Sturm-Tarski Theorem. Arch. Formal Proofs 2014 (2014) - 2013
- [j1]Wenda Li:
The Königsberg Bridge Problem and the Friendship Theorem. Arch. Formal Proofs 2013 (2013)
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-09 14:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint