Gao, Qi

4 publications

ICLR 2025 Herald: A Natural Language Annotated Lean 4 Dataset Guoxiong Gao, Yutong Wang, Jiedong Jiang, Qi Gao, Zihan Qin, Tianyi Xu, Bin Dong

ICLRW 2025 Moment Neural Operator: Interpretable Mapping in Discontinuous Function Spaces Qi Gao, Kuang Huang, Xuan Di

IJCAI 2013 Twitter-Based User Modeling for News Recommendations Fabian Abel, Qi Gao, Geert-Jan Houben, Ke Tao

CVPR 2010 A Generative Perspective on MRFs in Low-Level Vision Uwe Schmidt, Qi Gao, Stefan Roth