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

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

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

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

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

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

Speak Like a Native: Prompting Large Language Models in a Native Style. - Zhicheng Yang; Yiwei Wang 001; Yinya Huang; Jing Xiong; Xiaodan Liang; Jing Tang 004 (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)

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

CLOMO: Counterfactual Logical Modification with Large Language Models. - Yinya Huang; Ruixin Hong; Hongming Zhang 009; Wei Shao 009; Zhicheng Yang; Dong Yu 001; Changshui Zhang; Xiaodan Liang; Linqi Song (ACL (1), 2024)

AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations. - Zhicheng Yang; Yinya Huang; Jing Xiong; Liang Feng; Xiaodan Liang; Yiwei Wang 001; Jing Tang 004 (EMNLP (Findings), 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 (ICLR, 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 001; Zhenguo Li; Xiaodan Liang (ICLR, 2024)

ATG: Benchmarking Automated Theorem Generation for Generative Language Models. - Xiaohan Lin; Qingxing Cao; Yinya Huang; Zhicheng Yang; Zhengying Liu; Zhenguo Li; Xiaodan Liang (NAACL-HLT (Findings), 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 (NeurIPS, 2024)

Proving Theorems Recursively. - Haiming Wang; Huajian Xin; Zhengying Liu; Wenda Li; Yinya Huang; Jianqiao Lu; Zhicheng Yang; Jing Tang 004; Jian Yin 001; Zhenguo Li; Xiaodan Liang (NeurIPS, 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)

AutoCV: Empowering Reasoning with Automated Process Labeling via Confidence Variation. - Jianqiao Lu; Zhiyang Dou; Hongru Wang 003; 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 004; Zhijiang Guo (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 001; Xiaodan Liang; Jing Tang 004 (CoRR, 2024)

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

OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling. - Zhicheng Yang; Yiwei Wang 001; Yinya Huang; Zhijiang Guo; Wei Shi; Xiongwei Han; Liang Feng; Linqi Song; Xiaodan Liang; Jing Tang 004 (ICLR, 2025)

LEXam: Benchmarking Legal Reasoning on 340 Law Exams. - Yu Fan; Jingwei Ni; Jakob Merane; Etienne Salimbeni; Yang Tian; Yoan Hermstrüwer; Yinya Huang; Mubashara Akhtar; Florian Geering; Oliver Dreyer; Daniel Brunner; Markus Leippold; et al. (CoRR, 2025)

SeePhys: Does Seeing Help Thinking? - Benchmarking Vision-Based Physics Reasoning. - Kun Xiang; Heng Li; Terry Jingchen Zhang; Yinya Huang; Zirong Liu; Peixin Qu; Jixi He; Jiaqi Chen; Yu-Jie Yuan; Jianhua Han; Hang Xu 004; Hanhui Li; et al. (CoRR, 2025)

ORMind: A Cognitive-Inspired End-to-End Reasoning Framework for Operations Research. - Zhiyuan Wang; Bokui Chen; Yinya Huang; Qingxing Cao; Ming He; Jianping Fan 001; Xiaodan Liang (CoRR, 2025)

TreeRPO: Tree Relative Policy Optimization. - Zhicheng Yang; Zhijiang Guo; Yinya Huang; Xiaodan Liang; Yiwei Wang 001; Jing Tang 004 (CoRR, 2025)

Depth-Breadth Synergy in RLVR: Unlocking LLM Reasoning Gains with Adaptive Exploration. - Zhicheng Yang; Zhijiang Guo; Yinya Huang; Yongxin Wang; Dongchun Xie; Yiwei Wang 001; Xiaodan Liang; Jing Tang 004 (CoRR, 2025)

RecRanker: Instruction Tuning Large Language Model as Ranker for Top-k Recommendation. - Sichun Luo; Bowei He; Haohan Zhao; Wei Shao 009; Yanlin Qi; Yinya Huang; Aojun Zhou; Yuxuan Yao; Zongpeng Li; Yuanzhang Xiao; Mingjie Zhan; Linqi Song (ACM Trans. Inf. Syst., 2025)