claim
Kaiyu Yang is a Computing, Data, and Society Postdoctoral Fellow at Caltech whose research focuses on building artificial intelligence capable of understanding and reasoning about mathematics.

Authors

Sources

Referenced by nodes (3)