JilinHu
JilinHu
AI & ML interests
None yet
Recent Activity
updated
a dataset
1 day ago
JilinHu/Isabelle-proof-synthesis
published
a dataset
1 day ago
JilinHu/Isabelle-proof-synthesis
updated
a model
29 days ago
JilinHu/qwen3_8b_3epoch_r32_e5_RQ3_lora_sft
Organizations
None yet
models
42
JilinHu/qwen3_8b_3epoch_r32_e5_RQ3_lora_sft
8B
•
Updated
•
14
JilinHu/llemma_7b_pretrain_3epoch_r32_e5_RQ3
7B
•
Updated
•
13
JilinHu/llemma_7b_pretrain_3epoch_r32_e5_RQ1
7B
•
Updated
•
14
JilinHu/llemma_7b_3epoch_r32_e5_RQ3
7B
•
Updated
•
12
JilinHu/llemma_7b_3epoch_r32_e5_RQ1
7B
•
Updated
•
12
JilinHu/qwen3_8b_3epoch_r32_e5_RQ1_lora_sft
8B
•
Updated
•
14
JilinHu/llemma-7B-pretrain
7B
•
Updated
•
9
JilinHu/qwen2.5_coder_14b_3e_r32_e5_isar_sorry_lora_sft
15B
•
Updated
•
11
JilinHu/qwen2.5_coder_14b_3e_r32_e5_isar_lora_sft
15B
•
Updated
•
79
JilinHu/qwen2.5_coder_14b_3e_r32_e5_apply_lora_sft
15B
•
Updated
•
31