CS Ph.D. student at @Stanford, researching meta-learning, foundation models, and ML for Theorem Proving. Prev: @MIT, @MIT_CBMM, @MIT, @IllinoisCS, @IBM.
Followers
Upcarta community
CS Ph.D. student at @Stanford, researching meta-learning, foundation models, and ML for Theorem Proving. Prev: @MIT, @MIT_CBMM, @MIT, @IllinoisCS, @IBM.