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
14
nguyen ngoc khanh
khanh2023
Follow
0 followers
·
8 following
https://fbundle.github.io
khanhnguyen2021
fbundle
AI & ML interests
None yet
Recent Activity
updated
a collection
11 days ago
BFS-Prover-V2
updated
a model
11 days ago
khanh2023/BFS-Prover-V2-7B-mlx-mxfp8
published
a model
11 days ago
khanh2023/BFS-Prover-V2-7B-mlx-mxfp8
View all activity
Organizations
None yet
khanh2023
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
3 models
11 days ago
Goedel-LM/Goedel-Prover-V2-8B
Text Generation
•
8B
•
Updated
Aug 9, 2025
•
5.24k
•
•
28
Goedel-LM/Goedel-Prover-SFT
7B
•
Updated
Apr 18, 2025
•
345
•
30
Goedel-LM/Goedel-Prover-V2-32B
Text Generation
•
Updated
Aug 27, 2025
•
7.8k
•
•
69
liked
2 datasets
11 days ago
PAug/ProofNetSharp
Viewer
•
Updated
Mar 24, 2025
•
371
•
177
•
9
hoskinson-center/proofnet
Viewer
•
Updated
Mar 17, 2023
•
371
•
431
•
21
liked
a model
11 days ago
Goedel-LM/Goedel-Code-Prover-8B
8B
•
Updated
Mar 25
•
1.23k
•
11
liked
2 models
about 1 month ago
deepseek-ai/DeepSeek-Prover-V2-7B
7B
•
Updated
Apr 30, 2025
•
28.4k
•
144
google/gemma-4-E2B-it
Any-to-Any
•
5B
•
Updated
about 9 hours ago
•
3.37M
•
625
liked
a model
3 months ago
Qwen/Qwen3.5-0.8B
Image-Text-to-Text
•
0.9B
•
Updated
Mar 2
•
2.81M
•
539
liked
a dataset
3 months ago
zwhe99/DeepMath-103K
Viewer
•
Updated
May 29, 2025
•
103k
•
6.19k
•
360
liked
a model
3 months ago
Qwen/Qwen3-30B-A3B-Thinking-2507
Text Generation
•
31B
•
Updated
Aug 17, 2025
•
123k
•
•
378
liked
2 models
over 1 year ago
unsloth/DeepSeek-R1-Distill-Qwen-32B-GGUF
33B
•
Updated
Jan 25, 2025
•
24.3k
•
149
deepseek-ai/DeepSeek-V3
Text Generation
•
685B
•
Updated
Mar 27, 2025
•
1.2M
•
•
4.07k
liked
a model
about 3 years ago
Pi3141/alpaca-lora-30B-ggml
Updated
Apr 1, 2023
•
10
•
132