Taicheng Guo is an author at Massachusetts Institute of Technology specializing in automated reasoning, large language models, and computational linguistics.