Article
17
LI Jia
liyongsea
AI & ML interests
Code generation
Recent Activity
liked a model 9 days ago
dots-studio/dots3-note-prev liked a dataset 27 days ago
HuggingFaceCode/stack-v3-train liked a dataset about 2 months ago
MathArena/arxivmath-0526_outputsOrganizations
Articles 3
Article
56
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
datasets 14
liyongsea/THINGS_EEG_Test
Viewer • Updated • 160k • 109
liyongsea/empty_function_jupyter
Viewer • Updated • 28 • 14
liyongsea/empty_function_kaggle
Viewer • Updated • 84 • 14
liyongsea/un_linebreak-5000
Viewer • Updated • 3.32M • 52
liyongsea/un_linebreak-1000
Viewer • Updated • 753k • 33
liyongsea/un_linebreak_small
Viewer • Updated • 169k • 34
liyongsea/random-text
Viewer • Updated • 100 • 18
liyongsea/ptb-sss
Updated • 13
liyongsea/PTB-XL-ss
Updated • 46
liyongsea/PTB-XL-small-train
Updated • 22