SPA

university

https://joshuaongg21.github.io/

AI & ML interests

None defined yet.

Recent Activity

Jforeverss updated a model 4 days ago

DiffLean/Euler-Prover-32B

Jforeverss published a model 4 days ago

DiffLean/Euler-Prover-32B

Jforeverss updated a model 4 days ago

DiffLean/Euler-Prover-8B

View all activity

models 5

DiffLean/Euler-Prover-32B

Text Generation • Updated 4 days ago • 10

DiffLean/Euler-Prover-8B

Text Generation • Updated 4 days ago • 11

DiffLean/Euler-Prover-4B

Text Generation • Updated 4 days ago • 11

DiffLean/Qwen3-8b-Lean-LoRA

Text Generation • Updated 23 days ago • 12

DiffLean/Qwen3-4B-bd3lm

4B • Updated 29 days ago • 17

datasets 3

DiffLean/DPO_Dataset

Viewer • Updated 4 days ago • 129k • 63

DiffLean/Formal-Proof-Verified

Updated Mar 14 • 43

DiffLean/Formal-Proof-Unverified

Viewer • Updated Mar 13 • 503k • 128