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 粉絲
載入中...
熱門用戶
