| 2026 | AAAI | Neural Graph Navigation for Intelligent Subgraph Matching. | Yuchen Ying, Yiyang Dai, Wenda Li, Wenjie Huang, Rui Wang, Tongya Zheng, Yu Wang, Hanyang Yuan, Mingli Song |
| 2026 | ACL | PiCSAR: Probabilistic Confidence Selection and Ranking for Reasoning Chains. | Joshua Ong Jun Leang, Zheng Zhao, Aryo Pradipta Gema, Sohee Yang, Wai-Chung Kwan, Xuanli He, Wenda Li, Pasquale Minervini, Eleonora Giunchiglia, Shay B. Cohen |
| 2026 | ITP | From Weierstra to Dedekind via Jacobi: Formalising Foundations of Modular Forms. | Manuel Eberl, Wenda Li, Lawrence C. Paulson |
| 2026 | ITP | Faster Verified Real Root Isolation with Descartes' Rule of Signs (Short Paper). | Aeacus Sheng, Wenda Li, Paul B. Jackson |
| 2025 | ACL | Eeyore: Realistic Depression Simulation via Expert-in-the-Loop Supervised and Preference Optimization. | Siyang Liu, Bianca Brie, Wenda Li, Laura Biester, Andrew Lee, James W. Pennebaker, Rada Mihalcea |
| 2025 | ACL | Theorem Prover as a Judge for Synthetic Data Generation. | Joshua Ong Jun Leang, Giwon Hong, Wenda Li, Shay B. Cohen |
| 2025 | ICML | Position: Formal Mathematical Reasoning - A New Frontier in AI. | Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song |
| 2025 | MICCAI | Enforcing Geometric Constraints of Surface Normal and Pose for Self-supervised Monocular Depth Estimation on Laparoscopic Images. | Wenda Li, Yuichiro Hayashi, Masahiro Oda, Takayuki Kitasaka, Kazunari Misawa, Kensaku Mori |
| 2024 | ECAI | Learning a Mini-Batch Graph Transformer via Two-Stage Interaction Augmentation. | Wenda Li, Kaixuan Chen, Shunyu Liu, Tongya Zheng, Wenjie Huang, Mingli Song |
| 2024 | ICLR | Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization. | Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu |
| 2024 | ICML | Subgoal-based Demonstration Learning for Formal Theorem Proving. | Xueliang Zhao, Wenda Li, Lingpeng Kong |
| 2024 | ITP | Formalising Half of a Graduate Textbook on Number Theory (Short Paper). | Manuel Eberl, Anthony Bordg, Lawrence C. Paulson, Wenda Li |
| 2024 | MICCAI | EndoSelf: Self-supervised Monocular 3D Scene Reconstruction of Deformable Tissues with Neural Radiance Fields on Endoscopic Videos. | Wenda Li, Yuichiro Hayashi, Masahiro Oda, Takayuki Kitasaka, Kazunari Misawa, Kensaku Mori |
| 2024 | VTC | A Sum-Rate Prediction Strategy Based On RIS-Aided IoT Networks Power Optimization Algorithm. | Xuejie Hu, Yue Tian, Yousi Lin, Xianling Wang, Chen Zhu, Yau Hee Kho, Wenda Li |
| 2023 | ICLR | Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs. | Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothe Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu |
| 2023 | ICLR | Message-passing Selection: Towards Interpretable GNNs for Graph Classification. | Wenda Li, Kaixuan Chen, Shunyu Liu, Wenjie Huang, Haofei Zhang, Mingli Song, Yingjie Tian, Yun Su |
| 2023 | MICCAI | Multi-view Guidance for Self-supervised Monocular Depth Estimation on Laparoscopic Images via Spatio-Temporal Correspondence. | Wenda Li, Yuichiro Hayashi, Masahiro Oda, Takayuki Kitasaka, Kazunari Misawa, Kensaku Mori |
| 2023 | WCNC | Doppler Sensing Using WiFi Round-Trip Channel State Information. | Fangzhan Shi, Wenda Li, Chong Tang, Paul V. Brennan, Kevin Chetty |
| 2022 | MICCAI | Geometric Constraints for Self-supervised Monocular Depth Estimation on Laparoscopic Images with Dual-task Consistency. | Wenda Li, Yuichiro Hayashi, Masahiro Oda, Takayuki Kitasaka, Kazunari Misawa, Kensaku Mori |
| 2021 | CSCWD | A New Insight in Medical Resources Scheduling of Physical Examination with Adaptive Collaboration. | Wei Zhang, Wenda Li, Shaohua Teng, Dongning Liu |
| 2021 | ICLR | IsarStep: a Benchmark for High-level Mathematical Reasoning. | Wenda Li, Lei Yu, Yuhuai Wu, Lawrence C. Paulson |
| 2021 | ICML | LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning. | Yuhuai Wu, Markus N. Rabe, Wenda Li, Jimmy Ba, Roger B. Grosse, Christian Szegedy |
| 2020 | GLOBECOM | A Taxonomy of WiFi Sensing: CSI vs Passive WiFi Radar. | Wenda Li, Mohammud Junaid Bocus, Chong Tang, Shelly Vishwakarma, Robert J. Piechocki, Karl Woodbridge, Kevin Chetty |
| 2020 | ICPR | Translation Resilient Opportunistic WiFi Sensing. | Mohammud Junaid Bocus, Wenda Li, Jonas Paulavicius, Ryan McConville, Ral Santos-Rodrguez, Kevin Chetty, Robert J. Piechocki |
| 2019 | CPP | Counting polynomial roots in isabelle/hol: a formal proof of the budan-fourier theorem. | Wenda Li, Lawrence C. Paulson |
| 2019 | GLOBECOM | Physical Activity Sensing via Stand-Alone WiFi Device. | Wenda Li, Robert J. Piechocki, Karl Woodbridge, Kevin Chetty |
| 2018 | DASC | Opportunistic Doppler-Only Indoor Localization Via Passive Radar. | Wenda Li, Bo Tan, Robert J. Piechocki |
| 2017 | IWCMC | Passive wireless sensing for unsupervised human activity recognition in healthcare. | Wenda Li, Yangdi Xu, Bo Tan, Robert J. Piechocki |
| 2016 | CPP | A modular, efficient formalisation of real algebraic numbers. | Wenda Li, Lawrence C. Paulson |
| 2016 | HealthCom | Opportunistic physical activity monitoring via passive WiFi radar. | Wenda Li, Bo Tan, Robert J. Piechocki, Ian Craddock |
| 2016 | ITP | A Formal Proof of Cauchy's Residue Theorem. | Wenda Li, Lawrence C. Paulson |