JilinHu's picture

JilinHu

JilinHu

·

JilinHu

AI & ML interests

None yet

Recent Activity

updated a Space 30 days ago

JilinHu/Ministral-3-3B-Instruct-trl-grpo

published a Space 30 days ago

JilinHu/Ministral-3-3B-Instruct-trl-grpo

published a model 30 days ago

JilinHu/Ministral-3-3B-Instruct-trl-grpo

View all activity

Organizations

None yet

JilinHu 's datasets 4

JilinHu/Isabelle-proof-synthesis

Updated Sep 6, 2025 • 8

JilinHu/Isabelle-spec-synthesis

Preview • Updated Jun 16, 2025 • 4

JilinHu/proof-synthesis-pretraining

Viewer • Updated Apr 9, 2025 • 29.6k • 7

JilinHu/extracted-proof-pile-2

Viewer • Updated Mar 28, 2025 • 79.6k • 13