SPA

university

https://joshuaongg21.github.io/

AI & ML interests

None defined yet.

Recent Activity

Jforeverss updated a model 17 days ago

DiffLean/K2-Prover-SFT-8B-LORA

Jforeverss published a model 17 days ago

DiffLean/K2-Prover-SFT-8B-LORA

Jforeverss published a dataset 19 days ago

DiffLean/goedel-prover-autoformalizer-openr1

View all activity

models 4

DiffLean/K2-Prover-SFT-8B-LORA

Text Generation • 8B • Updated 17 days ago • 262

DiffLean/Qwen3-4B-bd3lm

4B • Updated Mar 19 • 12

DiffLean/qwen-2.5-math-7b-goedel-sft-v2

Text Generation • Updated Dec 21, 2025 • 4

DiffLean/qwen-2.5-math-7b-goedel-sft-v1

Text Generation • Updated Dec 21, 2025 • 9

datasets 5

DiffLean/SFT_Dataset

Viewer • Updated 19 days ago • 2.95M • 231

DiffLean/Formal-Proof-Verified

Updated Mar 14 • 67

DiffLean/Formal-Proof-Unverified

Viewer • Updated Mar 13 • 503k • 266

DiffLean/goedel-prover-autoformalizer-openr1

Preview • Updated Dec 29, 2025 • 8

DiffLean/kiminaprover-deepscaler

Preview • Updated Dec 27, 2025 • 7