Wenda Li

Wenda Li is a Lecturer in Hybrid AI at the University of Edinburgh and a Visiting Research Fellow at the University of Cambridge's Department of Computer Science and Technology. His research focuses on machine learning for theorem proving, neuro-symbolic reasoning, and mechanised mathematics. Prior to these roles, he was a research associate and PhD student under Prof. Larry Paulson at Cambridge.

Research Interests:

• Machine Learning for Theorem Proving
• Neuro-Symbolic Systems
• Formal Verification and Interactive Theorem Proving
• Automated Reasoning and Symbolic Computing

Selected Articles Trends:

Recent works emphasize advancing AI's role in formal mathematics, particularly in theorem proving and autoformalization. Notable contributions include developing benchmarks like IsarStep, integrating machine learning with theorem provers, and exploring multi-language benefits in formalization tasks.

Awards: None explicitly listed.

Advising & Grants: No specific grants or advisees listed, but active in research supervision and collaboration.

Labs/Teams: Engaged with research groups at both Edinburgh and Cambridge, focusing on AI and formal methods.