Wenda Li
Lecturer in Hybrid AI · School of Technology · University of Cambridge
Quick answer: Wenda Li is Lecturer in Hybrid AI at University of Cambridge. Wenda Li shows an active PhD hiring signal as of 2026-09-11.
⭐ fully funded positions for international students are available
Research interests
Machine learning for theorem proving, interactive theorem proving, verified symbolic computing, and mechanised mathematics.
Selected publications (since 2023)
[2026] Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
[2026] Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
[2026] From Weierstraß to Dedekind: Formalising Foundations of Modular Forms
[2026] APE-Bench: Evaluating Automated Proof Engineering for Formal Math Libraries
[2025] Formal Mathematical Reasoning: A New Frontier in AI
[2024] Formalising Half of a Graduate Textbook on Number Theory
[2023] Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
Frequently asked questions
Is Wenda Li hiring PhD students at University of Cambridge?
Yes. As of 2026-09-11, Wenda Li's faculty page shows a PhD hiring signal: fully funded positions for international students are available.
What does Wenda Li research?
Machine learning for theorem proving, interactive theorem proving, verified symbolic computing, and mechanised mathematics.
Data last updated: 2026-09-11 · Source: phd-match.com faculty database.
Is Wenda Li a match for your research?
Upload your CV and get matched to professors who fit — with hiring signals.
Start matching