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 dataset
about 1 hour ago
DiffLean/DPO_Dataset
Jforeverss
published
a dataset
about 1 hour ago
DiffLean/DPO_Dataset
Jforeverss
updated
a model
18 days ago
DiffLean/Qwen3-8b-Lean-LoRA
View all activity
Team members
4
DiffLean
's datasets
4
Sort: Recently updated
DiffLean/DPO_Dataset
Updated
40 minutes ago
DiffLean/SFT_Dataset
Viewer
•
Updated
24 days ago
•
1.97M
•
184
DiffLean/Formal-Proof-Verified
Updated
29 days ago
•
58
DiffLean/Formal-Proof-Unverified
Viewer
•
Updated
about 1 month ago
•
503k
•
135