Yuhuai(Tony) Wu

Yuhuai(Tony) Wu

I am a Research Scientist at Google and a post-doc at Stanford University.
I work in the N2Formal team led by Christian Szegedy at Google.
I work with Percy Liang, Jay McClelland at Stanford.
Email: yuhuai[at]{stanford[dot]edu, google[dot]com}
During my PhD at U of Toronto, I was advised by Roger Grosse and Jimmy Ba.


Research Interests

Machine reasoning, theorem proving, modularity, language, neuro-symbolic integration.

I would like to make machine do reasoning.


News


Publications

(Google Scholar)

Preprints

Journal

Conference papers

Workshop

Manuscripts

Math


Service

I am/was a reviewer for


Teaching

I am/was a TA for


Talks