CLOMO: Counterfactual Logical Modification with Large Language Models - Yinya Huang; Ruixin Hong; Hongming Zhang; Wei Shao; Zhicheng Yang; Dong Yu; Changshui Zhang; Xiaodan Liang; Linqi Song (Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2024, Bangkok, Thailand, August 11-16, 2024, 2024)

AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations - Zhicheng Yang; Yinya Huang; Jing Xiong; Liang Feng; Xiaodan Liang; Yiwei Wang; Jing Tang (Findings of the Association for Computational Linguistics: EMNLP 2024, Miami, Florida, USA, November 12-16, 2024, 2024)

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

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

ATG: Benchmarking Automated Theorem Generation for Generative Language Models - Xiaohan Lin; Qingxing Cao; Yinya Huang; Zhicheng Yang; Zhengying Liu; Zhenguo Li; Xiaodan Liang (Findings of the Association for Computational Linguistics: NAACL 2024, Mexico City, Mexico, June 16-21, 2024, 2024)

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving - Xiaohan Lin; Qingxing Cao; Yinya Huang; Haiming Wang; Jianqiao Lu; Zhengying Liu; Linqi Song; Xiaodan Liang (Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, NeurIPS 2024, Vancouver, BC, Canada, December 10 - 15, 2024, 2024)

Proving Theorems Recursively - Haiming Wang; Huajian Xin; Zhengying Liu; Wenda Li; Yinya Huang; Jianqiao Lu; Zhicheng Yang; Jing Tang; Jian Yin; Zhenguo Li; Xiaodan Liang (Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, NeurIPS 2024, Vancouver, BC, Canada, December 10 - 15, 2024, 2024)

Integrating Large Language Models into Recommendation via Mutual Augmentation and Adaptive Aggregation - Sichun Luo; Yuxuan Yao; Bowei He; Yinya Huang; Aojun Zhou; Xinyi Zhang; Yuanzhang Xiao; Mingjie Zhan; Linqi Song (CoRR, 2024)

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data - Yinya Huang; Xiaohan Lin; Zhengying Liu; Qingxing Cao; Huajian Xin; Haiming Wang; Zhenguo Li; Linqi Song; Xiaodan Liang (CoRR, 2024)

ATG: Benchmarking Automated Theorem Generation for Generative Language Models - Xiaohan Lin; Qingxing Cao; Yinya Huang; Zhicheng Yang; Zhengying Liu; Zhenguo Li; Xiaodan Liang (CoRR, 2024)

Proving Theorems Recursively - Haiming Wang; Huajian Xin; Zhengying Liu; Wenda Li; Yinya Huang; Jianqiao Lu; Zhicheng Yang; Jing Tang; Jian Yin; Zhenguo Li; Xiaodan Liang (CoRR, 2024)

AutoCV: Empowering Reasoning with Automated Process Labeling via Confidence Variation - Jianqiao Lu; Zhiyang Dou; Hongru Wang; Zeyu Cao; Jianbo Dai; Yingjia Wan; Yinya Huang; Zhijiang Guo (CoRR, 2024)

Process-Driven Autoformalization in Lean 4 - Jianqiao Lu; Zhengying Liu; Yingjia Wan; Yinya Huang; Haiming Wang; Zhicheng Yang; Jing Tang; Zhijiang Guo (CoRR, 2024)

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving - Xiaohan Lin; Qingxing Cao; Yinya Huang; Haiming Wang; Jianqiao Lu; Zhengying Liu; Linqi Song; Xiaodan Liang (CoRR, 2024)

Benchmarking LLMs for Optimization Modeling and Enhancing Reasoning via Reverse Socratic Synthesis - Zhicheng Yang; Yinya Huang; Wei Shi; Liang Feng; Linqi Song; Yiwei Wang; Xiaodan Liang; Jing Tang (CoRR, 2024)

FormalAlign: Automated Alignment Evaluation for Autoformalization - Jianqiao Lu; Yingjia Wan; Yinya Huang; Jing Xiong; Zhengying Liu; Zhijiang Guo (CoRR, 2024)

Discourse-Aware Graph Networks for Textual Logical Reasoning - Yinya Huang; Lemao Liu; Kun Xu; Meng Fang; Liang Lin; Xiaodan Liang (IEEE Trans. Pattern Anal. Mach. Intell., 2023)

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

LEGO-Prover: Neural Theorem Proving with Growing Libraries - Haiming Wang; Huajian Xin; Chuanyang Zheng; Lin Li; Zhengying Liu; Qingxing Cao; Yinya Huang; Jing Xiong; Han Shi; Enze Xie; Jian Yin; Zhenguo Li; et al. (CoRR, 2023)

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models - Jing Xiong; Jianhao Shen; Ye Yuan; Haiming Wang; Yichun Yin; Zhengying Liu; Lin Li; Zhijiang Guo; Qingxing Cao; Yinya Huang; Chuanyang Zheng; Xiaodan Liang; et al. (CoRR, 2023)

Speak Like a Native: Prompting Large Language Models in a Native Style - Zhicheng Yang; Yiwei Wang; Yinya Huang; Jing Xiong; Xiaodan Liang; Jing Tang (CoRR, 2023)

CLOMO: Counterfactual Logical Modification with Large Language Models - Yinya Huang; Ruixin Hong; Hongming Zhang; Wei Shao; Zhicheng Yang; Dong Yu; Changshui Zhang; Xiaodan Liang; Linqi Song (CoRR, 2023)

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

PathReasoner: Explainable reasoning paths for commonsense question answering - Xunlin Zhan; Yinya Huang; Xiao Dong; Qingxing Cao; Xiaodan Liang (Knowl. Based Syst., 2022)

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

Discourse-Aware Graph Networks for Textual Logical Reasoning - Yinya Huang; Lemao Liu; Kun Xu; Meng Fang; Liang Lin; Xiaodan Liang (CoRR, 2022)

MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure - Yinya Huang; Hongming Zhang; Ruixin Hong; Xiaodan Liang; Changshui Zhang; Dong Yu (CoRR, 2022)

REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement - Yinya Huang; Meng Fang; Xunlin Zhan; Qingxing Cao; Xiaodan Liang (Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, 2021)

DAGN: Discourse-Aware Graph Network for Logical Reasoning - Yinya Huang; Meng Fang; Yu Cao; Liwei Wang; Xiaodan Liang (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, 2021)

DAGN: Discourse-Aware Graph Network for Logical Reasoning - Yinya Huang; Meng Fang; Yu Cao; Liwei Wang; Xiaodan Liang (CoRR, 2021)

REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement - Yinya Huang; Meng Fang; Xunlin Zhan; Qingxing Cao; Xiaodan Liang; Liang Lin (CoRR, 2020)