Wenda Li

Wenda Li is a Lecturer in Hybrid AI at The University of Edinburgh, Department of Computer Science. Her work focuses on hybrid AI systems, though specific research details are not provided. She can be contacted via email at wenda.li@ed.ac.uk or through her profile page at https://www.ed.ac.uk/Wenda_Li.html.

Wenda Li is a researcher at the University of Edinburgh with expertise in theorem proving, formal verification, and machine learning. Their work explores the integration of large language models (LLMs) with automated theorem provers to enhance formal mathematical reasoning. Li's research includes projects such as Autoformalization with large language models, DeepSeek-Prover, and Thor, which aim to advance theorem proving in LLMs through synthetic data and hybrid systems. They also investigate the use of LLMs for mathematical reasoning tasks, including evaluating language models for mathematics and developing benchmarks like IsarStep. Li's contributions focus on bridging informal and formal proof methods, improving the reliability of AI-driven mathematical reasoning, and advancing formal verification techniques through machine learning.