Article
16
LI Jia
liyongsea
AI & ML interests
Code generation
Recent Activity
published a dataset 26 days ago
AI-MO/B2-UniMath upvoted a paper about 2 months ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics liked a Space 3 months ago
lm-provers/qed-nano-blogpostOrganizations
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 • 250
liyongsea/empty_function_jupyter
Viewer • Updated • 28 • 14
liyongsea/empty_function_kaggle
Viewer • Updated • 84 • 42
liyongsea/un_linebreak-5000
Viewer • Updated • 3.32M • 71
liyongsea/un_linebreak-1000
Viewer • Updated • 753k • 30
liyongsea/un_linebreak_small
Viewer • Updated • 169k • 52
liyongsea/random-text
Viewer • Updated • 100 • 24
liyongsea/ptb-sss
Updated • 13
liyongsea/PTB-XL-ss
Updated • 44
liyongsea/PTB-XL-small-train
Updated • 22