Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
1
15
NWMonster
nwmonster
Follow
jmmmacedao's profile picture
PhysiQuanty's profile picture
2 followers
·
23 following
AI & ML interests
None yet
Organizations
None yet
nwmonster
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
2 months ago
open-index/hacker-news
Updated
1 minute ago
•
30.2k
•
317
liked
a model
2 months ago
mistralai/Leanstral-2603
Updated
28 days ago
•
128
•
156
liked
a model
5 months ago
zai-org/GLM-4.7
Text Generation
•
358B
•
Updated
Jan 29
•
59k
•
•
2.03k
liked
a dataset
8 months ago
LLM4Rocq/miniF2F-rocq
Viewer
•
Updated
May 14, 2025
•
488
•
48
•
3
liked
2 models
8 months ago
internlm/internlm2-step-prover
Text Generation
•
Updated
Jul 25, 2024
•
897
•
23
ByteDance-Seed/BFS-Prover-V1-7B
Text Generation
•
8B
•
Updated
Oct 14, 2025
•
210
•
•
26
liked
a dataset
8 months ago
AI-MO/NuminaMath-LEAN
Viewer
•
Updated
Jul 31, 2025
•
104k
•
600
•
57
liked
a model
8 months ago
AI-MO/Kimina-Prover-72B
Text Generation
•
73B
•
Updated
Jul 10, 2025
•
359
•
•
34
liked
a dataset
about 1 year ago
nvidia/OpenMathReasoning
Viewer
•
Updated
May 27, 2025
•
5.68M
•
14.1k
•
463
liked
4 models
about 1 year ago
deepseek-ai/DeepSeek-Prover-V2-671B
Text Generation
•
685B
•
Updated
Apr 30, 2025
•
821
•
•
829
fm-universe/qwen2.5-coder-7b-instruct-fma
8B
•
Updated
Feb 25, 2025
•
6
•
9
Qwen/QwQ-32B
Text Generation
•
33B
•
Updated
Mar 11, 2025
•
61.8k
•
•
2.92k
fm-universe/deepseek-coder-7b-instruct-v1.5-fma
7B
•
Updated
Feb 25, 2025
•
18
•
5
liked
a model
over 1 year ago
jinaai/ReaderLM-v2
Text Generation
•
2B
•
Updated
Mar 4, 2025
•
264k
•
•
786
liked
a Space
almost 3 years ago
Runtime error
14k
Open LLM Leaderboard
🏆
14k
Track, rank and evaluate open LLMs and chatbots