These are the top models I developed on the open Ko-llm leaderboard.
Seungyoo Lee
DopeorNope
AI & ML interests
LLM,
Data efficiency learning,
Multi-Modal
Recent Activity
liked
a model
about 1 hour ago
Goedel-LM/Goedel-Prover-V2-8B
liked
a dataset
about 24 hours ago
Goedel-LM/Lean-workbook-proofs
updated
a dataset
2 days ago
DopeorNope/qwen3-4b_solver_v1