Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

SPA

university
https://joshuaongg21.github.io/
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

Jforeverss  updated a model about 2 hours ago
DiffLean/Qwen3-8b-Lean-LoRA
Jforeverss  published a model about 3 hours ago
DiffLean/Qwen3-8b-Lean-LoRA
zsquaredz  updated a dataset 6 days ago
DiffLean/SFT_Dataset
View all activity

Joshua Ong Jun Leang's profile pictureZheng Zhao's profile pictureQiyuan's profile picture

models 2

DiffLean/Qwen3-8b-Lean-LoRA

Text Generation • Updated about 2 hours ago

DiffLean/Qwen3-4B-bd3lm

4B • Updated 6 days ago • 15

datasets 3

DiffLean/SFT_Dataset

Viewer • Updated 6 days ago • 1.97M • 116

DiffLean/Formal-Proof-Verified

Updated 11 days ago • 43

DiffLean/Formal-Proof-Unverified

Viewer • Updated 12 days ago • 503k • 70
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs