Wang Yutong
PhD Candidate at Peking University.
My research focuses on machine learning, automated theorem-proving and formal methods. Previously, I studied representation theory, especially combinatorics and representations of Lie algebras.
PhD Candidate at Peking University.
My research focuses on machine learning, automated theorem-proving and formal methods. Previously, I studied representation theory, especially combinatorics and representations of Lie algebras.