Incoming CS PhD @StanfordNLP | BS @PKU1898 | Building autonomous decision making systems | Prev @deepseek_ai @AIatMeta FAIR | DeepSeek-V2/VL/Prover SPIRAL SPICE