Hugging Face's logo
Th Meek's picture
1

Th Meek

kFrog

AI & ML interests

None yet

Recent Activity

upvoted a paper about 22 hours ago
Learning to Repair Lean Proofs from Compiler Feedback
updated a model 18 days ago
kFrog/Qwen2-0.5B-GRPO-test
published a model 19 days ago
kFrog/Qwen2-0.5B-GRPO-checkpoint70
View all activity

Organizations

None yet