Article
33
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
Organizations
models
10
rookiemango/wenjianchuan
Updated
rookiemango/Llama-3.2-90B-Vision
89B
•
Updated
rookiemango/Llama-3.2-11B-Vision
11B
•
Updated
rookiemango/llama_output
Updated
rookiemango/bo_iclr_all
Updated
rookiemango/llm-q-scaling-law-master
Updated
rookiemango/emnlp-aae-rebuttal
Updated
rookiemango/auto2
Updated
rookiemango/my-cool-model2
Text Generation
•
7B
•
Updated
•
9
rookiemango/lean4-autoformalization
Updated