Li Lyna Zhang的肖像

Li Lyna Zhang

Principal Researcher

新闻与深度文章

The image shows a diagram illustrating the relationship between mathematical statements in natural language and formal language. On the left, there is a blue box labeled "Mathematical statement in natural language." An arrow points from this box to a central section containing four smaller boxes arranged in two rows. The top row contains "Formalization" and "Informalization," while the bottom row contains "Symbolic Equivalence" and "Semantic Consistency." An arrow points from this central section to a purple box on the right labeled "Mathematical statement in formal language." The background of the image transitions from blue on the left to purple on the right.
微软研究院博客

| Li Lyna Zhang, Xian Zhang, Xueting Han, 和 Dongdong Zhang

New techniques are reimagining how LLMs …

新闻报道 | The Sequence

rStar-Math is a novel approach that sign…

Microsoft Research Podcast - Abstracts
微软研究院播客

| Gretchen Huizinga 和 Li Lyna Zhang

A lack of appropriate data, decreased mo…

Research Focus March 20, 2024
微软研究院博客

Welcome to Research Focus, a series of b…

ICCV 2023: SpaceEvo
微软研究院博客

| Li Lyna Zhang, Jiahang Xu, Quanlu Zhang, Yuqing Yang, Ting Cao, 和 Mao Yang

A persistent challenge in deep learning …

奖项 | The 19th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys 2021) | June 2021

Li Lyna Zhang, Ting Cao, and Yuqing Yang…