Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Haocheng Ju
Observed name:
Ju, Haocheng
Institution:
Peking University
Observed institutions:
Cornerstone University,
Peking University
ORCID:
0009-0005-0429-4805
Observed ORCID:
0009-0005-0429-4805
OpenAlex ID:
A5113149225
A comparative study of deep learning and iterative algorithms for joint channel estimation and signal detection in OFDM systems
2024
·
Haocheng Ju
, Haimiao Zhang
, et al.
·
Signal Processing
·
14
PDF
CURE: Curvature Regularization for Missing Data Recovery
2020
·
Bin Dong
, Haocheng Ju
, et al.
·
SIAM Journal on Imaging Sciences
·
14
PDF
A Semantic Search Engine for Mathlib4
2024
·
Guoxiong Gao
, Haocheng Ju
, et al.
·
Findings of the Association for Computational Linguistics: EMNLP (Findings of EMNLP)
·
3
PDF
AI for Mathematics: Progress, Challenges, and Prospects
2026
·
Haocheng Ju
, Bin Dong
·
SuperIntelligence - Robotics - Safety & Alignment
PDF
Automated Conjecture Resolution with Formal Verification
2026
·
Haocheng Ju
, Guoxiong Gao
, et al.
·
SuperIntelligence - Robotics - Safety & Alignment
PDF
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
2026
·
Liu, Jihao
, Gao, Guoxiong
, et al.
·
arXiv (Cornell University)
PDF
Matlas: A Semantic Search Engine for Mathematics
2026
·
Ju, Haocheng
, Chen, Leheng
, et al.
·
arXiv (Cornell University)
PDF
REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
2025
·
Shen, Ziju
, Huang, Naohao
, et al.
·
arXiv (Cornell University)
PDF
MIRB: Mathematical Information Retrieval Benchmark
2025
·
Ju, Haocheng
, Dong, Bin
·
arXiv (Cornell University)
PDF
A Comparative Study of Deep Learning and Iterative Algorithms for Joint Channel Estimation and Signal Detection
2024
·
Haocheng Ju
, Haimiao Zhang
, et al.
·
SSRN Electronic Journal
Show more works
View as search
Works count:
11
Citation count:
31
H-index:
3
I10-index:
2
Year
Topic
Type
