Search Results for author: Haocheng Ju

Found 3 papers, 1 papers with code

A Semantic Search Engine for Mathlib4

no code implementations20 Mar 2024 Guoxiong Gao, Haocheng Ju, Jiedong Jiang, Zihan Qin, Bin Dong

In this paper, we present a semantic search engine for mathlib4 that accepts informal queries and finds the relevant theorems.

Mathematical Proofs

A Comparative Study of Deep Learning and Iterative Algorithms for Joint Channel Estimation and Signal Detection

1 code implementation7 Mar 2023 Haocheng Ju, Haimiao Zhang, Lin Li, Xiao Li, Bin Dong

Joint channel estimation and signal detection (JCESD) in wireless communication systems is a crucial and challenging task, especially since it inherently poses a nonlinear inverse problem.

Rolling Shutter Correction

CURE: Curvature Regularization For Missing Data Recovery

no code implementations28 Jan 2019 Bin Dong, Haocheng Ju, Yiping Lu, Zuoqiang Shi

For that, we introduce a new regularization by combining the low dimension manifold regularization with a higher order Curvature Regularization, and we call this new regularization CURE for short.

Image Inpainting

Cannot find the paper you are looking for? You can Submit a new open access paper.