SPA

university

https://joshuaongg21.github.io/

AI & ML interests

None defined yet.

Recent Activity

Jforeverss updated a dataset 2 minutes ago

DiffLean/DPO_Dataset

Jforeverss published a dataset about 13 hours ago

DiffLean/DPO_Dataset

Jforeverss updated a model 19 days ago

DiffLean/Qwen3-8b-Lean-LoRA

View all activity

models 2

DiffLean/Qwen3-8b-Lean-LoRA

Text Generation • Updated 19 days ago • 12

DiffLean/Qwen3-4B-bd3lm

4B • Updated 25 days ago • 17

datasets 4

DiffLean/DPO_Dataset

Updated 2 minutes ago • 6

DiffLean/SFT_Dataset

Viewer • Updated 24 days ago • 1.97M • 178

DiffLean/Formal-Proof-Verified

Updated 30 days ago • 50

DiffLean/Formal-Proof-Unverified

Viewer • Updated about 1 month ago • 503k • 131