α
Research
Alpha Leak
Conferences
Topics
Top Authors
Rankings
Browse All
EN
中
Home
/
Authors
/
Xuan Lu
Xuan Lu
2
papers
142
total citations
papers (2)
DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
ICLR 2025
arXiv
142
citations
Cross-Domain Contrastive Learning for Time Series Clustering
AAAI 2024
0
citations