Article
17
LI Jia
liyongsea
AI & ML interests
Code generation
Organizations
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 • 66
liyongsea/empty_function_jupyter
Viewer • Updated • 28 • 25
liyongsea/empty_function_kaggle
Viewer • Updated • 84 • 12
liyongsea/un_linebreak-5000
Viewer • Updated • 3.32M • 98
liyongsea/un_linebreak-1000
Viewer • Updated • 753k • 38
liyongsea/un_linebreak_small
Viewer • Updated • 169k • 25
liyongsea/random-text
Viewer • Updated • 100 • 22
liyongsea/ptb-sss
Updated • 27
liyongsea/PTB-XL-ss
Updated • 167
liyongsea/PTB-XL-small-train
Updated • 92