Haocheng Ju

1. Automated Conjecture Resolution with Formal Verification
   2026/04/04 by Haocheng Ju, Guoxiong Gao, Jiedong Jiang +13 · 2 voices · 1 citation
   Computer Science · #cs.LG #cs.AI
2. CURE: Curvature Regularization For Missing Data Recovery
   2019/01/28 by Bin Dong, Haocheng Ju, Dong, Bin +5 · 1 citation
   Computer Science · Engineering · Mathematics · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Mathematics #Image and Signal Denoising Methods #Numerical Analysis (math.NA) #Numerical methods in inverse problems #Sparse and Compressive Sensing Techniques
3. MIRB: Mathematical Information Retrieval Benchmark
   2025/05/21 by Haocheng Ju, Ju, Haocheng, Dong, Bin · 2 citations
   Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Information Retrieval (cs.IR) #Machine Learning (cs.LG) #Mathematics, Computing, and Information Processing