NWMonster

nwmonster's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

liked a model 21 days ago

zai-org/GLM-4.7

Text Generation • 358B • Updated 11 days ago • 69k • • 1.69k

liked a dataset 4 months ago

LLM4Rocq/miniF2F-rocq

Viewer • Updated May 14, 2025 • 488 • 13 • 3

liked 2 models 4 months ago

internlm/internlm2-step-prover

Text Generation • Updated Jul 25, 2024 • 101 • 23

ByteDance-Seed/BFS-Prover-V1-7B

Text Generation • 8B • Updated Oct 14, 2025 • 227 • • 24

liked a dataset 4 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 435 • 52

upvoted a collection 4 months ago

Kimina Prover

Collection

State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover • 8 items • Updated Oct 30, 2025 • 9

liked a model 4 months ago

AI-MO/Kimina-Prover-72B

Text Generation • 73B • Updated Jul 10, 2025 • 283 • • 33

liked a dataset 9 months ago

nvidia/OpenMathReasoning

Viewer • Updated May 27, 2025 • 5.68M • 11.2k • 393

liked a model 9 months ago

deepseek-ai/DeepSeek-Prover-V2-671B

Text Generation • 685B • Updated Apr 30, 2025 • 282 • • 817

liked a model 10 months ago

fm-universe/qwen2.5-coder-7b-instruct-fma

8B • Updated Feb 25, 2025 • 5 • 9

liked 2 models 11 months ago

Qwen/QwQ-32B

Text Generation • 33B • Updated Mar 11, 2025 • 89.4k • • 2.88k

fm-universe/deepseek-coder-7b-instruct-v1.5-fma

7B • Updated Feb 25, 2025 • 21 • 5

liked a model 12 months ago

jinaai/ReaderLM-v2

Text Generation • 2B • Updated Mar 4, 2025 • 5k • • 754

liked a Space over 2 years ago

Running on CPU Upgrade

13.8k

Open LLM Leaderboard

🏆

13.8k

Track, rank and evaluate open LLMs and chatbots