Yinya Huang is a Postdoc Fellow at ETH AI Center, ETH Zürich, working with Prof. Mrinmaya Sachan and Prof. Elliot Ash. She received her Ph.D. Degree in Computer Science from Sun Yat-sen University, advised by Prof. Xiaodan Liang and Prof. Liang Lin. Her research focuses on models’ system 2 thinking, especially incorporating formal systems and methods into LLM methods for mathematical, logical, and causal reasoning. She is also interested in applicational scenarios such as industrial optimization problems and automated research assistants. She has published papers in TPAMI, ICLR, ACL, EMNLP, NAACL, AAAI, and so forth. She won the 2023 SAAI Outstanding Doctoral Dissertation Award and the 2024 ACM SIGCSE China Excellent Doctoral Dissertation Award. She serves as an area chair for ACL ARR, a program committee member for ICML, ICLR, NeurIPS, ACL, EMNLP, and AAAI, and a reviewer for TNNLS and JAIR. She is also the primary organizer for the ICML AI for Math Workshop Series (2024, 2025).