Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
SPA
university
https://joshuaongg21.github.io/
Activity Feed
Follow
4
AI & ML interests
None defined yet.
Recent Activity
Jforeverss
updated
a model
3 days ago
DiffLean/Qwen3-8b-Lean-LoRA
Jforeverss
published
a model
3 days ago
DiffLean/Qwen3-8b-Lean-LoRA
zsquaredz
updated
a dataset
9 days ago
DiffLean/SFT_Dataset
View all activity
Team members
4
DiffLean
's datasets
3
Sort: Recently updated
DiffLean/SFT_Dataset
Viewer
•
Updated
9 days ago
•
1.97M
•
129
DiffLean/Formal-Proof-Verified
Updated
14 days ago
•
45
DiffLean/Formal-Proof-Unverified
Viewer
•
Updated
16 days ago
•
503k
•
109