Yinya Huang

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

Collaborative distances:

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

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

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

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

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

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