SPA

university

https://joshuaongg21.github.io/

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 8 days ago

DiffLean/SFT_Dataset

View all activity

models 2

DiffLean/Qwen3-8b-Lean-LoRA

Text Generation • Updated 3 days ago • 12

DiffLean/Qwen3-4B-bd3lm

4B • Updated 9 days ago • 15

datasets 3

DiffLean/SFT_Dataset

Viewer • Updated 8 days ago • 1.97M • 129

DiffLean/Formal-Proof-Verified

Updated 14 days ago • 45

DiffLean/Formal-Proof-Unverified

Viewer • Updated 15 days ago • 503k • 109