SPA

university

https://joshuaongg21.github.io/

AI & ML interests

None defined yet.

Recent Activity

Jforeverss published a dataset 6 days ago

DiffLean/kiminaprover-deepscaler

Jforeverss updated a dataset 10 days ago

DiffLean/DPO_Dataset

Jforeverss published a dataset 10 days ago

DiffLean/DPO_Dataset

View all activity

DiffLean 's datasets 5

DiffLean/DPO_Dataset

Viewer • Updated 10 days ago • 129k • 69

DiffLean/SFT_Dataset

Viewer • Updated Mar 20 • 1.97M • 99

DiffLean/Formal-Proof-Verified

Updated Mar 14 • 56

DiffLean/Formal-Proof-Unverified

Viewer • Updated Mar 13 • 503k • 212

DiffLean/kiminaprover-deepscaler

Preview • Updated Dec 27, 2025 • 1