LI Jia's picture

LI Jia

liyongsea

·

liyongsea

AI & ML interests

Code generation

Recent Activity

upvoted a paper about 17 hours ago

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

liked a Space about 2 months ago

lm-provers/qed-nano-blogpost

liked a model about 2 months ago

lm-provers/QED-Nano

View all activity

Organizations

liyongsea 's models 3

liyongsea/binary_bert_segmenter

Text Classification • Updated Jul 27, 2023 • 6

liyongsea/bert_segmenter

Text Classification • Updated Jul 19, 2023 • 5

liyongsea/test_trainer

Updated Jul 19, 2023