Lecturer in hybrid AI at the University of Edinburgh. Interested in machine learning for (interactive) theorem proving, formalised mathematics, and AI for Math.

ID: 1312457120332341249

linkhttps://wenda302.github.io calendar_today03-10-2020 18:19:33