Tianyi Peng is interested in developing machine learning algorithms for large-scale dynamic systems.
Referenced in coverage
“Anthropic researcher whose group at Columbia University builds tools for AI formalization; set out to test whether Claude could formalize Fermat's Last Theorem and succeeded in 11 days.”
“Anthropic researcher whose group at Columbia University builds tools for AI formalization and led effort to test Claude on Fermat's Last Theorem formalization.”