Wenda Li
@WendaLi8
Lecturer in hybrid AI at the University of Edinburgh. Interested in machine learning for (interactive) theorem proving, formalised mathematics, and AI for Math.
601 正在关注 1.1K 粉丝
加载中...
热门用户
