Yinya Huang

Yinya Huang

Yinya Huang is currently a postdoctoral fellow in the Department of Computer Science at the City University of Hong Kong. She received her Ph.D. degree in Computer Science from Sun Yat-sen University, where she was adviced by Prof. Xiaodan Liang and Prof. Liang Lin at the Human Cyber Physical Intelligence Integration Lab (HCP-I2 Lab). She was meanwhile a research intern at Tencent AI Lab, Seattle led by Dr. Dong Yu, where she had the honor to work with Prof. Meng Fang, Prof. Liwei Wang, Dr. Kun Xu, and Dr. Hongming Zhang. She also received a strong background in logic and computational linguistics from the Institute of Logic and Cognition at Sun Yat-sen University, which has deepened and widened her research on complex reasoning in natural language processing.

Her recent interest in general lies in evaluating and improving models’ system 2 thinking, especially large language models’ complex reasoning (e.g., mathematical reasoning, commonsense reasoning, logical reasoning, and counterfactual thinking) and further industrial applications (e.g., industrial optimization problems, automated research assistant).

Interests
  • Large Language Models
  • Complex Reasoning
  • Theorem Proving
Education

  • Ph.D. in Computer Science, 2023

    HCP Lab, Sun Yat-sen University

  • MPhil in Logic, 2018

    Institute of Logic and Cognition, Sun Yat-sen University

  • BPhil in Logic, 2015

    Institute of Logic and Cognition, Sun Yat-sen University

News

All Publications

Xiaohan Lin, Qingxing Cao, Yinya Huang, Zhicheng Yang, Zhengying Liu, Zhenguo Li, Xiaodan Liang (2024). ATG: Benchmarking Automated Theorem Generation for Generative Language Models. 2024 Annual Conference of the North American Chapter of the Association for Computational Linguistics (NAACL 2024 Findings).

PDF URL Code

Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang (2024). MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data. The Twelfth International Conference on Learning Representations (ICLR 2024).

PDF Cite URL Code Coverage Slides Poster

Haiming Wang, Huajian Xin, Chuanyang Zheng, Lin Li, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Heng Liao, Xiaodan Liang (2024). LEGO-Prover: Neural Theorem Proving with Growing Libraries. The Twelfth International Conference on Learning Representations (ICLR 2024).

PDF Cite URL Code Coverage

Yinya Huang, Ruixin Hong, Hongming Zhang, Wei Shao, Zhicheng Yang, Dong Yu, Changshui Zhang, Xiaodan Liang, Linqi Song (2024). CLOMO: Counterfactual Logical Modification with Large Language Models. arXiv preprint arXiv:2311.17438.

PDF Cite URL

Sichun Luo, Yuxuan Yao, Bowei He, Yinya Huang, Aojun Zhou, Xinyi Zhang, Yuanzhang Xiao, Mingjie Zhan, Linqi Song (2023). Integrating Large Language Models into Recommendation via Mutual Augmentation and Adaptive Aggregation. arXiv preprint arXiv:2312.16018.

PDF Cite URL

Sichun Luo, Bowei He, Haohan Zhao, Yinya Huang, Aojun Zhou, Zongpeng Li, Yuanzhang Xiao, Mingjie Zhan, Linqi Song (2023). RecRanker: Instruction Tuning Large Language Model as Ranker for Top-k Recommendation. arXiv preprint arXiv:2312.16018.

PDF Cite URL

Yinya Huang, Lemao Liu, Kun Xu, Meng Fang, Liang Lin, Xiaodan Liang (2023). Discourse-Aware Graph Networks for Textual Logical Reasoning. IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI).

PDF Cite DOI URL

Zhicheng Yang, Yiwei Wang, Yinya Huang, Jing Xiong, Xiaodan Liang, Jing Tang (2023). Speak Like a Native: Prompting Large Language Models in a Native Style. arXiv preprint arXiv:2311.13538.

PDF Cite URL Code

Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu (2023). TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing (EMNLP 2023), Sentosa, Singapore, December 6-10, 2023.

PDF Cite DOI URL Code

Yinya Huang, Hongming Zhang, Ruixin Hong, Xiaodan Liang, Changshui Zhang, Dong Yu (2022). MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure. Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing (EMNLP 2022), Abu Dhabi, United Arab Emirates, December 7-11, 2022.

PDF Cite DOI URL Code

Yinya Huang, Meng Fang, Xunlin Zhan, Qingxing Cao, Xiaodan Liang (2022). REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement. Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), Virtual Event, February 2-9, 2021.

PDF Cite DOI URL Code

Yinya Huang, Meng Fang, Yu Cao, Liwei Wang, Xiaodan Liang (2021). DAGN: Discourse-Aware Graph Network for Logical Reasoning. Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT 2021), Online, June 6-11, 2021.

PDF Cite DOI URL Code

See all publications

Selected Experience

  • Research Intern, Tencent AI Lab, Seattle (remote), 2021.12 - 2022.8
    Topic: Natural language explanation
    Mentors: Dr. Hongming Zhang, Dr. Lemao Liu, Dr. Dong Yu
  • Research Intern, Tencent AI Lab, Seattle (remote), 2020.5 - 2021.12
    Topic: Natural language reasoning
    Mentors: Prof. Liwei Wang, Prof. Meng Fang, Dr. Kun Xu, Dr. Dong Yu
  • Teaching Assistant, Sun Yat-sen University, 2019.9 - 2020.1
    Course Title: Introduction to Deep Learning
    Instructor: Prof. Xiaodan Liang
  • Teaching Assistant, Sun Yat-sen University, 2018.3 - 2018.7
    Course Title: Deep Learning in Practice
    Instructor: Prof. Liang Lin

Professional Service

Workshops

Program Committee Member:

  • ICLR (2024)
  • NeurIPS (2023)
  • ACL (2024, 2023)
  • EMNLP (2023, 2022)
  • NAACL (2024)
  • COLING (2020)
  • ACM MM (2024)
  • IJCAI (2024)
  • ICLR Workshop (2021)

Journal Reviewer:

Awards