Article
46
LI Jia
liyongsea
AI & ML interests
Code generation
Recent Activity
liked
a model
14 days ago
Goedel-LM/Goedel-Prover-V2-32B
liked
a model
18 days ago
moonshotai/Kimi-K2-Instruct
published
an
article
20 days ago
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
Organizations
datasets
14
liyongsea/THINGS_EEG_Test
Viewer
•
Updated
•
160k
•
25
liyongsea/empty_function_jupyter
Viewer
•
Updated
•
28
•
14
liyongsea/empty_function_kaggle
Viewer
•
Updated
•
84
•
23
liyongsea/un_linebreak-5000
Viewer
•
Updated
•
3.32M
•
12
liyongsea/un_linebreak-1000
Viewer
•
Updated
•
753k
•
9
liyongsea/un_linebreak_small
Viewer
•
Updated
•
169k
•
22
liyongsea/random-text
Viewer
•
Updated
•
100
•
15
liyongsea/ptb-sss
Updated
•
11
liyongsea/PTB-XL-ss
Updated
•
9
liyongsea/PTB-XL-small-train
Updated
•
5