nLab
Yuxi Liu

I’m a mathematician trying to make the world more harmonious, friendly, and utopic. I aim to do so by pushing forwards artificial intelligence using formal mathematics.

I am the bearer of the Element of Silence.

Created on June 28, 2020 at 09:05:03. See the history of this page for a list of all contributions to it.