Huang, Yinya

8 publications

ICLR 2025 FormalAlign: Automated Alignment Evaluation for Autoformalization Jianqiao Lu, Yingjia Wan, Yinya Huang, Jing Xiong, Zhengying Liu, Zhijiang Guo

ICLR 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

NeurIPS 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

NeurIPS 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

ICLR 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

ICLR 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

NeurIPS 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

AAAI 2021 REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement Yinya Huang, Meng Fang, Xunlin Zhan, Qingxing Cao, Xiaodan Liang