Th Meek
kFrog
AI & ML interests
None yet
Recent Activity
upvoted a paper about 1 month ago
Learning to Repair Lean Proofs from Compiler Feedback updated
a model about 2 months ago
kFrog/Qwen2-0.5B-GRPO-test published
a model about 2 months ago
kFrog/Qwen2-0.5B-GRPO-checkpoint70 Organizations
None yet