liyongsea (LI Jia)

Articles 3

Article

17

Kimina-Prover-RL

Article

56

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

View all Articles

models 3

datasets 14

liyongsea/THINGS_EEG_Test

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

liyongsea/empty_function_jupyter

Viewer • Updated Nov 1, 2023 • 28 • 25

liyongsea/empty_function_kaggle

Viewer • Updated Oct 31, 2023 • 84 • 26

liyongsea/un_linebreak-5000

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

liyongsea/un_linebreak-1000

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

liyongsea/un_linebreak_small

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

liyongsea/random-text

Viewer • Updated Mar 13, 2023 • 100 • 35

liyongsea/ptb-sss

Updated Mar 13, 2023 • 20

liyongsea/PTB-XL-ss

Updated Dec 5, 2022 • 202

liyongsea/PTB-XL-small-train

Updated Nov 9, 2022 • 117

View 14 datasets

LI Jia

AI & ML interests

Organizations

Articles 3

Kimina-Prover-RL

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

models 3

liyongsea/binary_bert_segmenter

liyongsea/bert_segmenter

liyongsea/test_trainer

datasets 14

liyongsea/THINGS_EEG_Test

liyongsea/empty_function_jupyter

liyongsea/empty_function_kaggle

liyongsea/un_linebreak-5000

liyongsea/un_linebreak-1000

liyongsea/un_linebreak_small

liyongsea/random-text

liyongsea/ptb-sss

liyongsea/PTB-XL-ss

liyongsea/PTB-XL-small-train

LI Jia

AI & ML interests

Organizations

Articles 3

Kimina-Prover-RL

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

models 3 Sort: Recently updated

datasets 14 Sort: Recently updated

models 3

datasets 14