Yinya Huang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
6
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ACL | Test of Time: Rethinking Temporal Signal of Benchmark Contamination. | Terry Jingchen Zhang, Gopal Dev, Ning Wang, Max Obreiter, Wenyuan Jiang, Punya Syon Pandey, Keenan Samway, Yinya Huang, Bernhard Schlkopf, Mrinmaya Sachan, Zhijing Jin |
| 2026 | EACL | Uncovering Hidden Correctness in LLM Causal Reasoning via Symbolic Verification. | Paul He, Yinya Huang, Mrinmaya Sachan, Zhijing Jin |
| 2025 | ACL | 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 |
| 2025 | ICLR | FormalAlign: Automated Alignment Evaluation for Autoformalization. | Jianqiao Lu, Yingjia Wan, Yinya Huang, Jing Xiong, Zhengying Liu, Zhijiang Guo |
| 2025 | ICLR | 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 |
| 2024 | ACL | 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 |
| 2024 | EMNLP | AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations. | Zhicheng Yang, Yinya Huang, Jing Xiong, Liang Feng, Xiaodan Liang, Yiwei Wang, Jing Tang |
| 2024 | ICLR | 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 |
| 2024 | ICLR | 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 |
| 2024 | NAACL | ATG: Benchmarking Automated Theorem Generation for Generative Language Models. | Xiaohan Lin, Qingxing Cao, Yinya Huang, Zhicheng Yang, Zhengying Liu, Zhenguo Li, Xiaodan Liang |
| 2023 | EMNLP | 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 |
| 2022 | EMNLP | MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure. | Yinya Huang, Hongming Zhang, Ruixin Hong, Xiaodan Liang, Changshui Zhang, Dong Yu |
| 2021 | AAAI | REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement. | Yinya Huang, Meng Fang, Xunlin Zhan, Qingxing Cao, Xiaodan Liang |
| 2021 | NAACL | DAGN: Discourse-Aware Graph Network for Logical Reasoning. | Yinya Huang, Meng Fang, Yu Cao, Liwei Wang, Xiaodan Liang |