Ju, Haocheng
- A Semantic Search Engine for Mathlib4
2024/03/20 by Gao, Guoxiong, Ju, Haocheng, Jiang, Jiedong +2 · 10 citations
#FOS: Computer and information sciences #Information Retrieval (cs.IR) #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
- 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
- REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
2025/05/27 by Ziju Shen, Shen, Ziju, Fanyi Yang +22 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Intelligent Tutoring Systems and Adaptive Learning #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Mathematics, Computing, and Information Processing
- 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