default search action
Wenda Li
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. 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
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j39]Fangzhan Shi
, Wenda Li
Decimeter-Level Indoor Localization Using WiFi Round-Trip Phase and Factor Graph Optimization. IEEE J. Sel. Areas Commun. 42(1): 177-191 (2024) - [j38]Wenda Li
Multi-Scale Acoustic Velocity Inversion Based on a Convolutional Neural Network. Remote. Sens. 16(5): 772 (2024) - [j37]Chong Tang
MDPose: Human Skeletal Motion Reconstruction Using WiFi Micro-Doppler Signatures. IEEE Trans. Aerosp. Electron. Syst. 60(1): 157-167 (2024) - [j36]Zhe Li
An Automated 3D Crack Severity Assessment Using Surface Data for Improving Flexible Pavement Maintenance Strategies. IEEE Trans. Intell. Transp. Syst. 25(9): 12490-12503 (2024) - [j35]Xuejie Hu
Location Prediction Using Bayesian Optimization LSTM for RIS-Assisted Wireless Communications. IEEE Trans. Veh. Technol. 73(10): 15156-15171 (2024) - [j34]Xuejie Hu
A Novel RIS-Aided Optimization Strategy for Semantic Communication System. IEEE Wirel. Commun. Lett. 13(6): 1655-1659 (2024) - [c34]Wenda Li, Kaixuan Chen, Shunyu Liu, Tongya Zheng, Wenjie Huang, Mingli Song:
Learning a Mini-Batch Graph Transformer via Two-Stage Interaction Augmentation. ECAI 2024: 3015-3022 - [c33]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 - [c32]Xueliang Zhao, Wenda Li, Lingpeng Kong:
Subgoal-based Demonstration Learning for Formal Theorem Proving. ICML 2024 - [c31]Manuel Eberl, Anthony Bordg, Lawrence C. Paulson, Wenda Li:
Formalising Half of a Graduate Textbook on Number Theory (Short Paper). ITP 2024: 40:1-40:7 - [c30]Wenda Li, Yuichiro Hayashi, Masahiro Oda, Takayuki Kitasaka, Kazunari Misawa, Kensaku Mori:
EndoSelf: Self-supervised Monocular 3D Scene Reconstruction of Deformable Tissues with Neural Radiance Fields on Endoscopic Videos. MICCAI (6) 2024: 241-251 - [c29]Xuejie Hu, Yue Tian, Yousi Lin, Xianling Wang, Chen Zhu, Yau Hee Kho, Wenda Li:
A Sum-Rate Prediction Strategy Based On RIS-Aided IoT Networks Power Optimization Algorithm. VTC Spring 2024: 1-5 - [i23]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) - [i22]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) - [i21]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) - [i20]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) - [i19]Wenda Li, Kai-Xuan Chen, Shunyu Liu, Tongya Zheng, Wenjie Huang, Mingli Song:
Learning a Mini-batch Graph Transformer via Two-stage Interaction Augmentation. CoRR abs/2407.09904 (2024) - 2023
- [j33]Yue Tian
Opportunistic RIS-assisted rate splitting transmission in coordinated multiple points networks. Comput. Commun. 202: 23-32 (2023) - [j32]Baiyun Xiao
Performance Analysis of Adaptive RIS-Assisted Clustering Strategies in Downlink Communication Systems. IEEE Internet Things J. 10(5): 4520-4530 (2023) - [j31]Wenda Li
A High-Resolution Velocity Inversion Method Based on Attention Convolutional Neural Network. IEEE Trans. Geosci. Remote. Sens. 61: 1-14 (2023) - [c28]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 - [c27]Wenda Li, Kaixuan Chen, Shunyu Liu, Wenjie Huang, Haofei Zhang, Mingli Song, Yingjie Tian, Yun Su:
Message-passing Selection: Towards Interpretable GNNs for Graph Classification. Tiny Papers @ ICLR 2023 - [c26]Wenda Li
Multi-view Guidance for Self-supervised Monocular Depth Estimation on Laparoscopic Images via Spatio-Temporal Correspondence. MICCAI (9) 2023: 429-439 - [c25]Fangzhan Shi, Wenda Li
Doppler Sensing Using WiFi Round-Trip Channel State Information. WCNC 2023: 1-6 - [i18]Yao Ge, Chong Tang, Haobo Li, Zikang Zhang, Wenda Li, Kevin Chetty, Daniele Faccio, Qammer H. Abbasi, Muhammad Imran:
A large-scale multimodal dataset of human speech recognition. CoRR abs/2303.08295 (2023) - [i17]Xueliang Zhao, Wenda Li, Lingpeng Kong:
Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving. CoRR abs/2305.16366 (2023) - [i16]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) - [i15]Wenda Li, Kaixuan Chen, Shunyu Liu, Wenjie Huang, Haofei Zhang, Yingjie Tian, Yun Su, Mingli Song:
Message-passing selection: Towards interpretable GNNs for graph classification. CoRR abs/2306.02081 (2023) - [i14]Albert Q. Jiang, Wenda Li, Mateja Jamnik:
Multilingual Mathematical Autoformalization. CoRR abs/2311.03755 (2023) - 2022
- [j30]Chen Tian
Human Activity Recognition With Commercial WiFi Signals. IEEE Access 10: 121580-121589 (2022) - [j29]Wenda Li, Yuichiro Hayashi, Masahiro Oda
Spatially variant biases considered self-supervised depth estimation based on laparoscopic videos. Comput. methods Biomech. Biomed. Eng. Imaging Vis. 10(3): 274-282 (2022) - [j28]Anthony Bordg
Simple Type Theory is not too Simple: Grothendieck's Schemes Without Dependent Types. Exp. Math. 31(2): 364-382 (2022) - [j27]Angeliki Koutsoukou-Argyraki
Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL. Exp. Math. 31(2): 401-412 (2022) - [j26]Wenda Li
A Study of Point Laser for Automatic Local Road Condition Assessment: Feasibility, Challenges, and Limitations. IEEE Intell. Transp. Syst. Mag. 14(5): 162-174 (2022) - [j25]Wenda Li
Structure-Preserving Random Noise Attenuation Method for Seismic Data Based on a Flexible Attention CNN. Remote. Sens. 14(20): 5240 (2022) - [j24]Wenda Li
A Deep Learning Method for Denoising Based on a Fast and Flexible Convolutional Neural Network. IEEE Trans. Geosci. Remote. Sens. 60: 1-13 (2022) - [j23]Chong Tang
FMNet: Latent Feature-Wise Mapping Network for Cleaning Up Noisy Micro-Doppler Spectrogram. IEEE Trans. Geosci. Remote. Sens. 60: 1-12 (2022) - [j22]Wenda Li
On CSI and Passive Wi-Fi Radar for Opportunistic Physical Activity Recognition. IEEE Trans. Wirel. Commun. 21(1): 607-620 (2022) - [c24]Fangzhan Shi, Wenda Li
Pi-NIC: Indoor Sensing Using Synchronized Off-The-Shelf Wireless Network Interface Cards and Raspberry Pis. JC&S 2022: 1-6 - [c23]Wenda Li
Geometric Constraints for Self-supervised Monocular Depth Estimation on Laparoscopic Images with Dual-task Consistency. MICCAI (4) 2022: 467-477 - [c22]Wenda Li, Yuichiro Hayashi, Masahiro Oda
Self-supervised depth estimation with uncertainty-weight joint loss function based on laparoscopic videos. Medical Imaging: Image-Guided Procedures 2022 - [c21]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 - [c20]Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy:
Autoformalization with Large Language Models. NeurIPS 2022 - [i13]Chong Tang, Wenda Li, Shelly Vishwakarma, Fangzhan Shi, Simon Julier, Kevin Chetty:
MDPose: Human Skeletal Motion Reconstruction Using WiFi Micro-Doppler Signatures. CoRR abs/2201.04212 (2022) - [i12]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) - [i11]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) - [i10]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
- [j21]Wenda Li
Residual Learning of Cycle-GAN for Seismic Data Denoising. IEEE Access 9: 11585-11597 (2021) - [j20]Yordanka Karayaneva
Unsupervised Doppler Radar Based Activity Recognition for e-Healthcare. IEEE Access 9: 62984-63001 (2021) - [j19]Anthony Bordg, Lawrence C. Paulson, Wenda Li:
Grothendieck's Schemes in Algebraic Geometry. Arch. Formal Proofs 2021 (2021) - [j18]Fox Thomson, Wenda Li:
The Theorem of Three Circles. Arch. Formal Proofs 2021 (2021) - [j17]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) - [j16]Wenda Li
Passive WiFi Radar for Human Sensing Using a Stand-Alone Access Point. IEEE Trans. Geosci. Remote. Sens. 59(3): 1986-1998 (2021) - [j15]Wenda Li
A Novel Processing Methodology for Traffic-Speed Road Surveys Using Point Lasers. IEEE Trans. Intell. Transp. Syst. 22(1): 307-318 (2021) - [c19]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 - [c18]Shelly Vishwakarma, Chong Tang, Wenda Li
GAN Based Noise Generation to Aid Activity Recognition when Augmenting Measured WiFi Radar Data with Simulations. ICC Workshops 2021: 1-6 - [c17]Wenda Li, Lei Yu, Yuhuai Wu, Lawrence C. Paulson:
IsarStep: a Benchmark for High-level Mathematical Reasoning. ICLR 2021 - [c16]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 - [c15]Wenda Li, Yuichiro Hayashi, Masahiro Oda
Context encoder guided self-supervised siamese depth estimation based on stereo laparoscopic images. Medical Imaging: Image-Guided Procedures 2021 - [i9]Angeliki Koutsoukou-Argyraki, Wenda Li, Lawrence C. Paulson:
Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL. CoRR abs/2101.05257 (2021) - [i8]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) - [i7]Yordanka Karayaneva, Sara Sharifzadeh, Wenda Li, Yanguo Jing, Bo Tan:
Unsupervised Doppler Radar-Based Activity Recognition for e-healthcare. CoRR abs/2103.10478 (2021) - [i6]Anthony Bordg, Lawrence C. Paulson, Wenda Li:
Simple Type Theory is not too Simple: Grothendieck's Schemes without Dependent Types. CoRR abs/2104.09366 (2021) - [i5]Chong Tang, Wenda Li, Shelly Vishwakarma, Fangzhan Shi, Simon Julier, Kevin Chetty:
FMNet: Latent Feature-wise Mapping Network for Cleaning up Noisy Micro-Doppler Spectrogram. CoRR abs/2107.07312 (2021) - 2020
- [j14]Wenda Li
Automatic Road Survey by Using Vehicle Mounted Laser for Road Asset Management. IEEE Access 8: 94643-94653 (2020) - [j13]Angeliki Koutsoukou-Argyraki, Wenda Li:
Irrationality Criteria for Series by Erdős and Straus. Arch. Formal Proofs 2020 (2020) - [j12]Wenda Li
Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL. J. Autom. Reason. 64(2): 331-360 (2020) - [c14]Wenda Li
A Taxonomy of WiFi Sensing: CSI vs Passive WiFi Radar. GLOBECOM (Workshops) 2020: 1-6 - [c13]Mohammud Junaid Bocus, Wenda Li
Translation Resilient Opportunistic WiFi Sensing. ICPR 2020: 5627-5633 - [i4]Wenda Li, Lei Yu, Yuhuai Wu, Lawrence C. Paulson:
Modelling High-Level Mathematical Reasoning in Mechanised Declarative Proofs. CoRR abs/2006.09265 (2020)
2010 – 2019
- 2019
- [j11]Angeliki Koutsoukou-Argyraki, Wenda Li:
The Transcendence of Certain Infinite Series. Arch. Formal Proofs 2019 (2019) - [j10]Wenda Li
Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL. J. Autom. Reason. 62(1): 69-91 (2019) - [c12]Wenda Li, Lawrence C. Paulson:
Counting polynomial roots in isabelle/hol: a formal proof of the budan-fourier theorem. CPP 2019: 52-64 - [c11]Wenda Li
Physical Activity Sensing via Stand-Alone WiFi Device. GLOBECOM 2019: 1-6 - 2018
- [j9]Angeliki Koutsoukou-Argyraki, Wenda Li:
Irrational Rapidly Convergent Series. Arch. Formal Proofs 2018 (2018) - [j8]Wenda Li:
The Budan-Fourier Theorem and Counting Real Roots with Multiplicity. Arch. Formal Proofs 2018 (2018) - [j7]Bo Tan
Exploiting WiFi Channel State Information for Residential Healthcare Informatics. IEEE Commun. Mag. 56(5): 130-137 (2018) - [j6]Wenda Li
WiFi-based passive sensing system for human presence and activity event classification. IET Wirel. Sens. Syst. 8(6): 276-283 (2018) - [c10]Wenda Li, Xianjie Meng, Zheng Wang, Wenqi Fang, Jie Zou, Huiyun Li, Tianfu Sun
Low-cost vector map assisted navigation strategy for autonomous vehicle. APCCAS 2018: 536-539 - [c9]Wenda Li
Opportunistic Doppler-Only Indoor Localization Via Passive Radar. DASC/PiCom/DataCom/CyberSciTech 2018: 467-473 - [c8]Wenda Li
Automatic Road Condition Assessment by Using Point Laser Sensor. IEEE SENSORS 2018: 1-4 - [c7]Wenda Li
Histogram-Based Road Markings Extraction by Using 3D Laser Imaging. IEEE SENSORS 2018: 1-4 - [i3]Wenda Li, Lawrence C. Paulson:
Evaluating Winding Numbers and Counting Complex Roots through Cauchy Indices in Isabelle/HOL. CoRR abs/1804.03922 (2018) - [i2]Wenda Li, Lawrence C. Paulson:
Counting Polynomial Roots in Isabelle/HOL: A Formal Proof of the Budan-Fourier Theorem. CoRR abs/1811.11093 (2018) - 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) - [c6]Wenda Li
Passive wireless sensing for unsupervised human activity recognition in healthcare. IWCMC 2017: 1528-1533 - 2016
- [c5]Wenda Li, Lawrence C. Paulson
A modular, efficient formalisation of real algebraic numbers. CPP 2016: 66-75 - [c4]Wenda Li
Opportunistic physical activity monitoring via passive WiFi radar. HealthCom 2016: 1-6 - [c3]Wenda Li
Non-contact breathing detection using passive radar. ICC 2016: 1-6 - [c2]Wenda Li, Lawrence C. Paulson
A Formal Proof of Cauchy's Residue Theorem. ITP 2016: 235-251 - [c1]Shanlei Kan, Hongyuan Chen, Yuanping Zhu, Wenda Li:
Aggregation based Cell Selection Methods for multi-RAT HetNet. WCSP 2016: 1-5 - 2015
- [i1]Wenda Li, Grant Olney Passmore, Lawrence C. Paulson:
A Complete Decision Procedure for Univariate Polynomial Problems in Isabelle/HOL. CoRR abs/1506.08238 (2015) - 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 2024-11-07 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: