LI Jia's picture

LI Jia

liyongsea

·

liyongsea

AI & ML interests

Code generation

Recent Activity

upvoted a paper 19 days ago

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

liked a Space 2 months ago

lm-provers/qed-nano-blogpost

liked a model 3 months ago

lm-provers/QED-Nano

View all activity

Organizations

liyongsea 's models 3

liyongsea/binary_bert_segmenter

Text Classification • Updated Jul 27, 2023 • 8

liyongsea/bert_segmenter

Text Classification • Updated Jul 19, 2023 • 8

liyongsea/test_trainer

Updated Jul 19, 2023