Wenda Li

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 87

Top Topics

Depth Estimation

Activity Recognition

Top Venues

Arch. Formal Proofs

IEEE Trans. Geosci. Remote. Sens.

Publications

Fangzhan Shi, Wenda Li, Chong Tang, Yuan Fang, Paul V. Brennan, Kevin Chetty
Decimeter-Level Indoor Localization Using WiFi Round-Trip Phase and Factor Graph Optimization. IEEE J. Sel. Areas Commun. 42 (1) (2024)
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 (2024)
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)
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 (2024)
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 (2024)
Chong Tang, Wenda Li, Shelly Vishwakarma, Fangzhan Shi, Simon Julier, Kevin Chetty
MDPose: Human Skeletal Motion Reconstruction Using WiFi Micro-Doppler Signatures. IEEE Trans. Aerosp. Electron. Syst. 60 (1) (2024)
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 (2024)
Xuejie Hu, Yue Tian, Qinying Li, Yau Hee Kho, Xianling Wang, Baiyun Xiao, Zheng Yang, Wenda Li
A Novel RIS-Aided Optimization Strategy for Semantic Communication System. IEEE Wirel. Commun. Lett. 13 (6) (2024)
Wenda Li, Tianqi Wu, Hong Liu
Multi-Scale Acoustic Velocity Inversion Based on a Convolutional Neural Network. Remote. Sens. 16 (5) (2024)
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 (2024)
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 (2023)
Albert Q. Jiang, Wenda Li, Mateja Jamnik
Multilingual Mathematical Autoformalization. CoRR (2023)
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 (2023)
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 (2023)
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 (2023)
Wenda Li, Yuichiro Hayashi, Masahiro Oda, Takayuki Kitasaka, Kazunari Misawa, Kensaku Mori
Multi-view Guidance for Self-supervised Monocular Depth Estimation on Laparoscopic Images via Spatio-Temporal Correspondence. MICCAI (9) (2023)
Baiyun Xiao, Yue Tian, Wenda Li, Yau Hee Kho, Xianling Wang, Chen Zhu, Hong Liu
Performance Analysis of Adaptive RIS-Assisted Clustering Strategies in Downlink Communication Systems. IEEE Internet Things J. 10 (5) (2023)
Xueliang Zhao, Wenda Li, Lingpeng Kong
Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving. CoRR (2023)
Yue Tian, Baiyun Xiao, Xianling Wang, Yau Hee Kho, Chen Zhu, Wenda Li, Qinying Li, Xuejie Hu
Opportunistic RIS-assisted rate splitting transmission in coordinated multiple points networks. Comput. Commun. 202 (2023)
Fangzhan Shi, Wenda Li, Chong Tang, Paul Brennan, Kevin Chetty
Doppler Sensing Using WiFi Round-Trip Channel State Information. WCNC (2023)
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)
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)
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) (2022)
Yuhuai Wu, Albert Q. Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy
Autoformalization with Large Language Models. CoRR (2022)
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)
Wenda Li, Mohammud Junaid Bocus, Chong Tang, Robert J. Piechocki, Karl Woodbridge, Kevin Chetty
On CSI and Passive Wi-Fi Radar for Opportunistic Physical Activity Recognition. IEEE Trans. Wirel. Commun. 21 (1) (2022)
Wenda Li, Yuichiro Hayashi, Masahiro Oda, Takayuki Kitasaka, Kazunari Misawa, Kensaku Mori
Geometric Constraints for Self-supervised Monocular Depth Estimation on Laparoscopic Images with Dual-task Consistency. MICCAI (4) (2022)
Wenda Li, Michael Burrow, Nicole Metje, Gurmel Ghataora
A Study of Point Laser for Automatic Local Road Condition Assessment: Feasibility, Challenges, and Limitations. IEEE Intell. Transp. Syst. Mag. 14 (5) (2022)
Chen Tian, Yue Tian, Xianling Wang, Yau Hee Kho, Zhenzhe Zhong, Wenda Li, Baiyun Xiao
Human Activity Recognition With Commercial WiFi Signals. IEEE Access 10 (2022)
Anthony Bordg, Lawrence C. Paulson, Wenda Li
Simple Type Theory is not too Simple: Grothendieck's Schemes Without Dependent Types. Exp. Math. 31 (2) (2022)
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 (2022)
Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy
Autoformalization with Large Language Models. NeurIPS (2022)
Fangzhan Shi, Wenda Li, Amin Amiri, Shelly Vishwakarma, Chong Tang, Paul Brennan, Kevin Chetty
Pi-NIC: Indoor Sensing Using Synchronized Off-The-Shelf Wireless Network Interface Cards and Raspberry Pis. JC&S (2022)
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 (2022)
Wenda Li, Yuichiro Hayashi, Masahiro Oda, Takayuki Kitasaka, Kazunari Misawa, Kensaku Mori
Self-supervised depth estimation with uncertainty-weight joint loss function based on laparoscopic videos. Medical Imaging: Image-Guided Procedures (2022)
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 (2022)
Chong Tang, Wenda Li, Shelly Vishwakarma, Fangzhan Shi, Simon Julier, Kevin Chetty
MDPose: Human Skeletal Motion Reconstruction Using WiFi Micro-Doppler Signatures. CoRR (2022)
Wenda Li, Yuichiro Hayashi, Masahiro Oda, Takayuki Kitasaka, Kazunari Misawa, Kensaku Mori
Spatially variant biases considered self-supervised depth estimation based on laparoscopic videos. Comput. methods Biomech. Biomed. Eng. Imaging Vis. 10 (3) (2022)
Chong Tang, Wenda Li, Shelly Vishwakarma, Fangzhan Shi, Simon J. Julier, Kevin Chetty
FMNet: Latent Feature-Wise Mapping Network for Cleaning Up Noisy Micro-Doppler Spectrogram. IEEE Trans. Geosci. Remote. Sens. 60 (2022)
Angeliki Koutsoukou-Argyraki, Wenda Li, Lawrence C. Paulson
Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL. Exp. Math. 31 (2) (2022)
Yordanka Karayaneva, Sara Sharifzadeh, Wenda Li, Yanguo Jing, Bo Tan
Unsupervised Doppler Radar Based Activity Recognition for e-Healthcare. IEEE Access 9 (2021)
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) (2021)
Yuhuai Wu, Markus N. Rabe, Wenda Li, Jimmy Ba, Roger B. Grosse, Christian Szegedy
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning. CoRR (2021)
Wenda Li, Michael Burrow, Nicole Metje, Yueyue Tao, Gurmel Ghataora
A Novel Processing Methodology for Traffic-Speed Road Surveys Using Point Lasers. IEEE Trans. Intell. Transp. Syst. 22 (1) (2021)
Wenda Li, Robert J. Piechocki, Karl Woodbridge, Chong Tang, Kevin Chetty
Passive WiFi Radar for Human Sensing Using a Stand-Alone Access Point. IEEE Trans. Geosci. Remote. Sens. 59 (3) (2021)
Wei Zhang, Wenda Li, Shaohua Teng, Dongning Liu
A New Insight in Medical Resources Scheduling of Physical Examination with Adaptive Collaboration. CSCWD (2021)
Wenda Li, Yuichiro Hayashi, Masahiro Oda, Takayuki Kitasaka, Kazunari Misawa, Kensaku Mori
Context encoder guided self-supervised siamese depth estimation based on stereo laparoscopic images. Medical Imaging: Image-Guided Procedures (2021)
Wenda Li, Jian Wang
Residual Learning of Cycle-GAN for Seismic Data Denoising. IEEE Access 9 (2021)
Fox Thomson, Wenda Li
The Theorem of Three Circles. Arch. Formal Proofs 2021 (2021)
Wenda Li, Lei Yu, Yuhuai Wu, Lawrence C. Paulson
IsarStep: a Benchmark for High-level Mathematical Reasoning. ICLR (2021)
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 (2021)
Angeliki Koutsoukou-Argyraki, Wenda Li, Lawrence C. Paulson
Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL. CoRR (2021)
Shelly Vishwakarma, Chong Tang, Wenda Li, Karl Woodbridge, Raviraj Adve, Kevin Chetty
GAN Based Noise Generation to Aid Activity Recognition when Augmenting Measured WiFi Radar Data with Simulations. ICC Workshops (2021)
Yordanka Karayaneva, Sara Sharifzadeh, Wenda Li, Yanguo Jing, Bo Tan
Unsupervised Doppler Radar-Based Activity Recognition for e-healthcare. CoRR (2021)
Anthony Bordg, Lawrence C. Paulson, Wenda Li
Grothendieck's Schemes in Algebraic Geometry. Arch. Formal Proofs 2021 (2021)
Anthony Bordg, Lawrence C. Paulson, Wenda Li
Simple Type Theory is not too Simple: Grothendieck's Schemes without Dependent Types. CoRR (2021)
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)
Wenda Li, Michael Burrow, Nicole Metje, Gurmel Ghataora
Automatic Road Survey by Using Vehicle Mounted Laser for Road Asset Management. IEEE Access 8 (2020)
Angeliki Koutsoukou-Argyraki, Wenda Li
Irrationality Criteria for Series by Erdős and Straus. Arch. Formal Proofs 2020 (2020)
Wenda Li, Lei Yu, Yuhuai Wu, Lawrence C. Paulson
Modelling High-Level Mathematical Reasoning in Mechanised Declarative Proofs. CoRR (2020)
Wenda Li, Lawrence C. Paulson
Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL. J. Autom. Reason. 64 (2) (2020)
Mohammud Junaid Bocus, Wenda Li, Jonas Paulavicius, Ryan McConville, Raúl Santos-Rodríguez, Kevin Chetty, Robert J. Piechocki
Translation Resilient Opportunistic WiFi Sensing. ICPR (2020)
Wenda Li, Mohammud Junaid Bocus, Chong Tang, Shelly Vishwakarma, Robert J. Piechocki, Karl Woodbridge, Kevin Chetty
A Taxonomy of WiFi Sensing: CSI vs Passive WiFi Radar. GLOBECOM (Workshops) (2020)
Wenda Li, Robert J. Piechocki, Karl Woodbridge, Kevin Chetty
Physical Activity Sensing via Stand-Alone WiFi Device. GLOBECOM (2019)
Wenda Li, Lawrence C. Paulson
Counting polynomial roots in isabelle/hol: a formal proof of the budan-fourier theorem. CPP (2019)
Angeliki Koutsoukou-Argyraki, Wenda Li
The Transcendence of Certain Infinite Series. Arch. Formal Proofs 2019 (2019)
Wenda Li, Grant Olney Passmore, Lawrence C. Paulson
Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL. J. Autom. Reason. 62 (1) (2019)
Wenda Li, Lawrence C. Paulson
Evaluating Winding Numbers and Counting Complex Roots through Cauchy Indices in Isabelle/HOL. CoRR (2018)
Wenda Li, Michael Burrow, Yueyue Tao
Histogram-Based Road Markings Extraction by Using 3D Laser Imaging. IEEE SENSORS (2018)
Bo Tan, Qingchao Chen, Kevin Chetty, Karl Woodbridge, Wenda Li, Robert J. Piechocki
Exploiting WiFi Channel State Information for Residential Healthcare Informatics. IEEE Commun. Mag. 56 (5) (2018)
Wenda Li, Bo Tan, Robert J. Piechocki
Opportunistic Doppler-Only Indoor Localization Via Passive Radar. DASC/PiCom/DataCom/CyberSciTech (2018)
Wenda Li
The Budan-Fourier Theorem and Counting Real Roots with Multiplicity. Arch. Formal Proofs 2018 (2018)
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)
Wenda Li, Michael Burrow, Zijun Li
Automatic Road Condition Assessment by Using Point Laser Sensor. IEEE SENSORS (2018)
Wenda Li, Bo Tan, Robert J. Piechocki
WiFi-based passive sensing system for human presence and activity event classification. IET Wirel. Sens. Syst. 8 (6) (2018)
Wenda Li, Lawrence C. Paulson
Counting Polynomial Roots in Isabelle/HOL: A Formal Proof of the Budan-Fourier Theorem. CoRR (2018)
Angeliki Koutsoukou-Argyraki, Wenda Li
Irrational Rapidly Convergent Series. Arch. Formal Proofs 2018 (2018)
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 (2017)
Wenda Li
Count the Number of Complex Roots. Arch. Formal Proofs 2017 (2017)
Wenda Li, Yangdi Xu, Bo Tan, Robert J. Piechocki
Passive wireless sensing for unsupervised human activity recognition in healthcare. IWCMC (2017)
Wenda Li
Evaluate winding numbers through Cauchy indices. Arch. Formal Proofs 2017 (2017)
Wenda Li, Lawrence C. Paulson
A modular, efficient formalisation of real algebraic numbers. CPP (2016)
Wenda Li, Lawrence C. Paulson
A Formal Proof of Cauchy's Residue Theorem. ITP (2016)
Wenda Li, Bo Tan, Robert J. Piechocki, Ian Craddock
Opportunistic physical activity monitoring via passive WiFi radar. HealthCom (2016)
Shanlei Kan, Hongyuan Chen, Yuanping Zhu, Wenda Li
Aggregation based Cell Selection Methods for multi-RAT HetNet. WCSP (2016)
Wenda Li, Bo Tan, Robert J. Piechocki
Non-contact breathing detection using passive radar. ICC (2016)
Wenda Li, Grant Olney Passmore, Lawrence C. Paulson
A Complete Decision Procedure for Univariate Polynomial Problems in Isabelle/HOL. CoRR (2015)
Wenda Li
The Sturm-Tarski Theorem. Arch. Formal Proofs 2014 (2014)
Wenda Li
The Königsberg Bridge Problem and the Friendship Theorem. Arch. Formal Proofs 2013 (2013)