Ge, Cunjing

5 publications

NeurIPS 2025 Curriculum Abductive Learning Wen-Chao Hu, Qi-Jie Li, Lin-Han Jia, Cunjing Ge, Yu-Feng Li, Yuan Jiang, Zhi-Hua Zhou

NeurIPS 2025 Discovering Symbolic Partial Differential Equation by Abductive Learning En-Hao Gao, Cunjing Ge, Yuan Jiang, Zhi-Hua Zhou

AAAI 2024 Approximate Integer Solution Counts over Linear Arithmetic Constraints Cunjing Ge

IJCAI 2021 Decomposition Strategies to Count Integer Solutions over Linear Constraints Cunjing Ge, Armin Biere

IJCAI 2019 Approximating Integer Solution Counting via Space Quantification for Linear Constraints Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang