Poster by Yihan Geng Papers
2 papers found
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving of Inequalities
Haoyu Zhao, Yihan Geng, Shange Tang et al.
NeurIPS 2025posterarXiv:2505.12680
5
citations
Theoretical Benefit and Limitation of Diffusion Language Model
Guhao Feng, Yihan Geng, Jian Guan et al.
NeurIPS 2025posterarXiv:2502.09622
27
citations