Article
12
LI Jia
liyongsea
AI & ML interests
Code generation
Recent Activity
published
a dataset
about 1 month ago
AI-MO/aops_raw
published
a dataset
3 months ago
AI-MO/olympiads-ref
published
a dataset
3 months ago
AI-MO/olympiads-ref-base
Organizations
Articles 3
Article
54
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
datasets
14
liyongsea/THINGS_EEG_Test
Viewer
•
Updated
•
160k
•
24
liyongsea/empty_function_jupyter
Viewer
•
Updated
•
28
•
18
liyongsea/empty_function_kaggle
Viewer
•
Updated
•
84
•
2
liyongsea/un_linebreak-5000
Viewer
•
Updated
•
3.32M
•
7
liyongsea/un_linebreak-1000
Viewer
•
Updated
•
753k
•
61
liyongsea/un_linebreak_small
Viewer
•
Updated
•
169k
•
7
liyongsea/random-text
Viewer
•
Updated
•
100
•
4
liyongsea/ptb-sss
Updated
liyongsea/PTB-XL-ss
Updated
•
47
liyongsea/PTB-XL-small-train
Updated