Yinya Huang

According to our database, Yinya Huang authored at least 22 papers between 2020 and 2024.

Collaborative distances:

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

2024

FormalAlign: Automated Alignment Evaluation for Autoformalization.

Jianqiao Lu, Yingjia Wan, Yinya Huang, Jing Xiong, Zhengying Liu, 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, Xiaodan Liang, Jing Tang

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

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

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

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

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