Wenda Li
Wenda Li
My research
AI for mathematics, Large language models, Mechanised theorem proving, Formal verification, Formal logic
Primary skills domain: Responsible NLP data & models
Other skills domains: Explainable NLP for users in-the-world, Designing for Human-AI partnership
Accepting students: Yes
School: School of informatics