Sun, Haozhe

2 publications

ICLR 2026 Automated Formalization via Conceptual Retrieval-Augmented LLMs Wangyue Lu, Lun Du, Sirui Li, Ke Weng, Haozhe Sun, Hengyu Liu, Minghe Yu, Tiancheng Zhang, Ge Yu

NeurIPS 2022 Meta-Album: Multi-Domain Meta-Dataset for Few-Shot Image Classification Ihsan Ullah, Dustin Carrión-Ojeda, Sergio Escalera, Isabelle Guyon, Mike Huisman, Felix Mohr, Jan N. van Rijn, Haozhe Sun, Joaquin Vanschoren, Phan Anh Vu