no code implementations • 20 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.
1 code implementation • 7 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.
no code implementations • 28 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.