Yinya Huang

According to our database, Yinya Huang authored at least 38 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

AtomThink: Multimodal Slow Thinking With Atomic Step Reasoning.

Kun Xiang, Zhili Liu, Terry Jingchen Zhang, Yinya Huang, Yunshuang Nie, Kaixin Cai, Yiyang Yin, Runhui Huang, Hanhui Li, Yihan Zeng, Yu-Jie Yuan, Jianhua Han, Lanqing Hong, Hang Xu, Xiaodan Liang

IEEE Trans. Pattern Anal. Mach. Intell., May, 2026

SeePhys Pro: Diagnosing Modality Transfer and Blind-Training Effects in Multimodal RLVR for Physics Reasoning.

Kun Xiang, Terry Jingchen Zhang, Zirong Liu, Bokai Zhou, Yueling Tang, Junjie Yu, Jiacong Lu, Shangrui Huang, Heng Li, Likui Zhang, Kunkun Liu, Changzheng Zhang, Yangle Fang, Boqiang Guo, Hui-Ling Zhen, Dandan Tu, Yinya Huang, Xiaodan Liang

CoRR, May, 2026

DeReason: A Difficulty-Aware Curriculum Improves Decoupled SFT-then-RL Training for General Reasoning.

Hanxu Hu, Yuxuan Wang, Maggie Huan, Jannis Vamvas, Yinya Huang, Zhijiang Guo, Rico Sennrich

CoRR, March, 2026

Accordion-Thinking: Self-Regulated Step Summaries for Efficient and Readable LLM Reasoning.

Zhicheng Yang, Zhijiang Guo, Yinya Huang, Yongxin Wang, Wenlei Shi, Yiwei Wang, Xiaodan Liang, Jing Tang

CoRR, February, 2026

Integrating Large Language Models Into Recommendation via Mutual Augmentation and Adaptive Aggregation.

Sichun Luo, Yuxuan Yao, Bowei He, Wei Shao, Jian Xu, Yinya Huang, Aojun Zhou, Xinyi Zhang, Yuanzhang Xiao, Hanxu Hou, Mingjie Zhan, Linqi Song

IEEE J. Sel. Top. Signal Process., January, 2026

Uncovering Hidden Correctness in LLM Causal Reasoning via Symbolic Verification.

Paul He, Yinya Huang, Mrinmaya Sachan, Zhijing Jin

Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics, 2026

2025

Aligning Perception, Reasoning, Modeling and Interaction: A Survey on Physical AI.

Kun Xiang, Terry Jingchen Zhang, Yinya Huang, Jixi He, Zirong Liu, Yueling Tang, Ruizhe Zhou, Lijing Luo, Youpeng Wen, Xiuwei Chen, Bingqian Lin, Jianhua Han, Hang Xu, Hanhui Li, Bin Dong, Xiaodan Liang

CoRR, October, 2025

RecRanker: Instruction Tuning Large Language Model as Ranker for Top-k Recommendation.

Sichun Luo, Bowei He, Haohan Zhao, Wei Shao, Yanlin Qi, Yinya Huang, Aojun Zhou, Yuxuan Yao, Zongpeng Li, Yuanzhang Xiao, Mingjie Zhan, Linqi Song

ACM Trans. Inf. Syst., September, 2025

Critique to Verify: Accurate and Honest Test-Time Scaling with RL-Trained Verifiers.

Zhicheng Yang, Zhijiang Guo, Yinya Huang, Yongxin Wang, Yiwei Wang, Xiaodan Liang, Jing Tang

CoRR, September, 2025

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs.

Terry Jingchen Zhang, Wenyuan Jiang, Rongchuan Liu, Yisong Wang, Junran Yang, Ning Wang, Nicole Ni, Yinya Huang, Mrinmaya Sachan

CoRR, August, 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, Xiaodan Liang, Jing Tang

CoRR, August, 2025

TreeRPO: Tree Relative Policy Optimization.

Zhicheng Yang, Zhijiang Guo, Yinya Huang, Xiaodan Liang, Yiwei Wang, Jing Tang

CoRR, June, 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, Mrinmaya Sachan, Alexander Stremitzer, Christoph Engel, Elliott Ash, Joel Niklaus

CoRR, May, 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, Hanhui Li, Mrinmaya Sachan, Xiaodan Liang

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2025, 2025

OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling.

Zhicheng Yang, Yiwei Wang, Yinya Huang, Zhijiang Guo, Wei Shi, Xiongwei Han, Liang Feng, Linqi Song, Xiaodan Liang, Jing Tang

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

FormalAlign: Automated Alignment Evaluation for Autoformalization.

Jianqiao Lu, Yingjia Wan, Yinya Huang, Jing Xiong, Zhengying Liu, Zhijiang Guo

Proceedings of the Thirteenth International Conference on Learning Representations, 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, Xiaodan Liang

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 6: Industry Track), 2025

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

Process-Driven Autoformalization in Lean 4.

Jianqiao Lu, Zhengying Liu, Yingjia Wan, Yinya Huang, Haiming Wang, Zhicheng Yang, Jing Tang, Zhijiang Guo

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

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

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

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 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

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 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

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 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

Proceedings of the Twelfth International Conference on Learning Representations, 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

Proceedings of the Twelfth International Conference on Learning Representations, 2024

AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations.

Zhicheng Yang, Yinya Huang, Jing Xiong, Liang Feng, Xiaodan Liang, Yiwei Wang, Jing Tang

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024

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), 2024

2023

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., October, 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

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

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, Heng Liao, Xiaodan Liang

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, Ming Zhang, Qun Liu

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

2022

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, 2022

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, 2021

REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement.

Yinya Huang, Meng Fang, Xunlin Zhan, Qingxing Cao, Xiaodan Liang

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement.

Yinya Huang, Meng Fang, Xunlin Zhan, Qingxing Cao, Xiaodan Liang, Liang Lin

CoRR, 2020