SPA

university

https://joshuaongg21.github.io/

AI & ML interests

None defined yet.

Recent Activity

Jforeverss published a dataset 5 days ago

DiffLean/kiminaprover-deepscaler

Jforeverss updated a dataset 9 days ago

DiffLean/DPO_Dataset

Jforeverss published a dataset 10 days ago

DiffLean/DPO_Dataset

View all activity

models 0

None public yet

datasets 5

DiffLean/DPO_Dataset

Viewer • Updated 9 days ago • 129k • 69

DiffLean/SFT_Dataset

Viewer • Updated Mar 20 • 1.97M • 81

DiffLean/Formal-Proof-Verified

Updated Mar 14 • 46

DiffLean/Formal-Proof-Unverified

Viewer • Updated Mar 13 • 503k • 136

DiffLean/kiminaprover-deepscaler

Preview • Updated Dec 27, 2025