"au:"Haocheng Ju"" — arXiv2 SearchShowing 1–9 of 9 results
/ Date/ Name
Mar 20, 2024A Semantic Search Engine for Mathlib4Jan 28, 2019CURE: Curvature Regularization For Missing Data RecoveryMay 21, 2025MIRB: Mathematical Information Retrieval BenchmarkMar 7, 2023A Comparative Study of Deep Learning and Iterative Algorithms for Joint Channel Estimation and Signal Detection in OFDM SystemsJan 19, 2026AI for Mathematics: Progress, Challenges, and ProspectsApr 4, 2026Automated Conjecture Resolution with Formal VerificationApr 19, 2026Matlas: A Semantic Search Engine for MathematicsAug 25, 2025Connected Theorems: A Graph-Based Approach to Evaluating Mathematical ResultsMay 27, 2025REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning