LI Jia's picture

LI Jia

liyongsea

·

liyongsea

AI & ML interests

Code generation

Recent Activity

published a dataset 11 days ago

AI-MO/B2-UniMath

upvoted a paper about 1 month ago

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

liked a Space 3 months ago

lm-provers/qed-nano-blogpost

View all activity

Organizations

liyongsea 's datasets 14

liyongsea/THINGS_EEG_Test

Viewer • Updated Dec 18, 2023 • 160k • 235

liyongsea/empty_function_jupyter

Viewer • Updated Nov 1, 2023 • 28 • 44

liyongsea/empty_function_kaggle

Viewer • Updated Oct 31, 2023 • 84 • 39

liyongsea/un_linebreak-5000

Viewer • Updated Jul 25, 2023 • 3.32M • 30

liyongsea/un_linebreak-1000

Viewer • Updated Jul 18, 2023 • 753k • 27

liyongsea/un_linebreak_small

Viewer • Updated Jul 16, 2023 • 169k • 36

liyongsea/random-text

Viewer • Updated Mar 13, 2023 • 100 • 30

liyongsea/ptb-sss

Updated Mar 13, 2023 • 14

liyongsea/PTB-XL-ss

Updated Dec 5, 2022 • 41

liyongsea/PTB-XL-small-train

Updated Nov 9, 2022 • 26

liyongsea/PTB-XL-small

Updated Nov 6, 2022 • 66

liyongsea/PTB-XL-train

Updated Nov 6, 2022 • 64

liyongsea/PTB-XL-val

Updated Nov 6, 2022 • 22

liyongsea/PTB-XL

Updated Nov 3, 2022 • 52