LI Jia's picture

7 3 32

LI Jia

liyongsea

·

liyongsea

AI & ML interests

Code generation

Recent Activity

published a dataset 23 days ago

AI-MO/GeometryLeanBench

published a model about 1 month ago

AI-MO/Kimina-Prover-RL-1.7B

published a dataset about 1 month ago

AI-MO/Kimina-Prover-Promptset

View all activity

Organizations

liyongsea 's models 3

liyongsea/binary_bert_segmenter

Text Classification • Updated Jul 27, 2023 • 7

liyongsea/bert_segmenter

Text Classification • Updated Jul 19, 2023 • 4

liyongsea/test_trainer

Updated Jul 19, 2023