lujianqiao's picture

2

lujianqiao

rookiemango

·

AI & ML interests

None yet

Recent Activity

published an article 3 days ago

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

View all activity

Organizations

rookiemango 's models 10

rookiemango/wenjianchuan

rookiemango/Llama-3.2-90B-Vision

89B • Updated Nov 5, 2024

rookiemango/Llama-3.2-11B-Vision

11B • Updated Nov 4, 2024

rookiemango/llama_output

Updated Oct 21, 2024

rookiemango/bo_iclr_all

Updated Oct 1, 2024

rookiemango/llm-q-scaling-law-master

Updated Sep 14, 2024

rookiemango/emnlp-aae-rebuttal

Updated Jul 27, 2024

rookiemango/auto2

Updated Jun 21, 2024

rookiemango/my-cool-model2

Text Generation • 7B • Updated Jun 19, 2024 • 9

rookiemango/lean4-autoformalization

Updated May 15, 2024