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 5 days ago
DiffLean/Qwen3-8b-Lean-LoRA
Jforeverss  published a model 5 days ago
DiffLean/Qwen3-8b-Lean-LoRA
zsquaredz  updated a dataset 10 days ago
DiffLean/SFT_Dataset
View all activity

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

DiffLean 's datasets 3

DiffLean/SFT_Dataset

Viewer • Updated 10 days ago • 1.97M • 137

DiffLean/Formal-Proof-Verified

Updated 16 days ago • 46

DiffLean/Formal-Proof-Unverified

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