JilinHu's picture

JilinHu

JilinHu

·

JilinHu

AI & ML interests

None yet

Recent Activity

updated a dataset 2 days ago

JilinHu/Isabelle-proof-synthesis

published a dataset 2 days ago

JilinHu/Isabelle-proof-synthesis

updated a model 29 days ago

JilinHu/qwen3_8b_3epoch_r32_e5_RQ3_lora_sft

View all activity

Organizations

None yet

JilinHu 's datasets 4

JilinHu/Isabelle-proof-synthesis

Updated 2 days ago • 9

JilinHu/Isabelle-spec-synthesis

Preview • Updated Jun 16 • 7

JilinHu/proof-synthesis-pretraining

Viewer • Updated Apr 9 • 29.6k • 5

JilinHu/extracted-proof-pile-2

Viewer • Updated Mar 28 • 79.6k • 7