CS Ph.D. student at @Stanford, researching meta-learning, foundation models, and ML for Theorem Proving. Prev: @MIT, @MIT_CBMM, @MIT, @IllinoisCS, @IBM.
Paper
Apr 28, 2023
CS Ph.D. student at @Stanford, researching meta-learning, foundation models, and ML for Theorem Proving. Prev: @MIT, @MIT_CBMM, @MIT, @IllinoisCS, @IBM.