Yinya Huang

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 26

Top Topics

Formal Verification

Logical Reasoning

Top Venues

Publications

Sichun Luo, Yuxuan Yao, Bowei He, Yinya Huang, Aojun Zhou, Xinyi Zhang, Yuanzhang Xiao, Mingjie Zhan, Linqi Song
Integrating Large Language Models into Recommendation via Mutual Augmentation and Adaptive Aggregation. CoRR (2024)
Xiaohan Lin, Qingxing Cao, Yinya Huang, Haiming Wang, Jianqiao Lu, Zhengying Liu, Linqi Song, Xiaodan Liang
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving. CoRR (2024)
Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data. ICLR (2024)
Jianqiao Lu, Zhiyang Dou, Hongru Wang, Zeyu Cao, Jianbo Dai, Yingjia Wan, Yinya Huang, Zhijiang Guo
AutoCV: Empowering Reasoning with Automated Process Labeling via Confidence Variation. CoRR (2024)
Xiaohan Lin, Qingxing Cao, Yinya Huang, Zhicheng Yang, Zhengying Liu, Zhenguo Li, Xiaodan Liang
ATG: Benchmarking Automated Theorem Generation for Generative Language Models. CoRR (2024)
Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data. CoRR (2024)
Jianqiao Lu, Zhengying Liu, Yingjia Wan, Yinya Huang, Haiming Wang, Zhicheng Yang, Jing Tang, Zhijiang Guo
Process-Driven Autoformalization in Lean 4. CoRR (2024)
Zhicheng Yang, Yinya Huang, Wei Shi, Liang Feng, Linqi Song, Yiwei Wang, Xiaodan Liang, Jing Tang
Benchmarking LLMs for Optimization Modeling and Enhancing Reasoning via Reverse Socratic Synthesis. CoRR (2024)
Yinya Huang, Ruixin Hong, Hongming Zhang, Wei Shao, Zhicheng Yang, Dong Yu, Changshui Zhang, Xiaodan Liang, Linqi Song
CLOMO: Counterfactual Logical Modification with Large Language Models. ACL (1) (2024)
Haiming Wang, Huajian Xin, Zhengying Liu, Wenda Li, Yinya Huang, Jianqiao Lu, Zhicheng Yang, Jing Tang, Jian Yin, Zhenguo Li, Xiaodan Liang
Proving Theorems Recursively. CoRR (2024)
Haiming Wang, Huajian Xin, Chuanyang Zheng, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Xiaodan Liang
LEGO-Prover: Neural Theorem Proving with Growing Libraries. ICLR (2024)
Yinya Huang, Lemao Liu, Kun Xu, Meng Fang, Liang Lin, Xiaodan Liang
Discourse-Aware Graph Networks for Textual Logical Reasoning. IEEE Trans. Pattern Anal. Mach. Intell. 45 (10) (2023)
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
LEGO-Prover: Neural Theorem Proving with Growing Libraries. CoRR (2023)
Yinya Huang, Ruixin Hong, Hongming Zhang, Wei Shao, Zhicheng Yang, Dong Yu, Changshui Zhang, Xiaodan Liang, Linqi Song
CLOMO: Counterfactual Logical Modification with Large Language Models. CoRR (2023)
Zhicheng Yang, Yiwei Wang, Yinya Huang, Jing Xiong, Xiaodan Liang, Jing Tang
Speak Like a Native: Prompting Large Language Models in a Native Style. CoRR (2023)
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
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. CoRR (2023)
Sichun Luo, Bowei He, Haohan Zhao, Yinya Huang, Aojun Zhou, Zongpeng Li, Yuanzhang Xiao, Mingjie Zhan, Linqi Song
RecRanker: Instruction Tuning Large Language Model as Ranker for Top-k Recommendation. CoRR (2023)
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
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. EMNLP (2023)
Xunlin Zhan, Yinya Huang, Xiao Dong, Qingxing Cao, Xiaodan Liang
PathReasoner: Explainable reasoning paths for commonsense question answering. Knowl. Based Syst. 235 (2022)
Yinya Huang, Hongming Zhang, Ruixin Hong, Xiaodan Liang, Changshui Zhang, Dong Yu
MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure. EMNLP (2022)
Yinya Huang, Lemao Liu, Kun Xu, Meng Fang, Liang Lin, Xiaodan Liang
Discourse-Aware Graph Networks for Textual Logical Reasoning. CoRR (2022)
Yinya Huang, Hongming Zhang, Ruixin Hong, Xiaodan Liang, Changshui Zhang, Dong Yu
MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure. CoRR (2022)
Yinya Huang, Meng Fang, Yu Cao, Liwei Wang, Xiaodan Liang
DAGN: Discourse-Aware Graph Network for Logical Reasoning. NAACL-HLT (2021)
Yinya Huang, Meng Fang, Yu Cao, Liwei Wang, Xiaodan Liang
DAGN: Discourse-Aware Graph Network for Logical Reasoning. CoRR (2021)
Yinya Huang, Meng Fang, Xunlin Zhan, Qingxing Cao, Xiaodan Liang
REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement. AAAI (2021)
Yinya Huang, Meng Fang, Xunlin Zhan, Qingxing Cao, Xiaodan Liang, Liang Lin
REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement. CoRR (2020)