SPA

university

https://joshuaongg21.github.io/

AI & ML interests

None defined yet.

Recent Activity

Jforeverss updated a model 18 days ago

DiffLean/Qwen3-8b-Lean-LoRA

Jforeverss published a model 18 days ago

DiffLean/Qwen3-8b-Lean-LoRA

zsquaredz updated a dataset 23 days ago

DiffLean/SFT_Dataset

View all activity

models 2

DiffLean/Qwen3-8b-Lean-LoRA

Text Generation • Updated 18 days ago • 12

DiffLean/Qwen3-4B-bd3lm

4B • Updated 24 days ago • 17

datasets 3

DiffLean/SFT_Dataset

Viewer • Updated 23 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