arxiv:2408.08152
HuajianXin
HuajianXin
AI & ML interests
None yet
Recent Activity
liked
a model
11 days ago
sentence-transformers/all-MiniLM-L6-v2
liked
a dataset
15 days ago
HuggingFaceTB/finemath
authored
a paper
5 months ago
DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for
Reinforcement Learning and Monte-Carlo Tree Search
Organizations
None yet
