SPA

university

https://joshuaongg21.github.io/

AI & ML interests

None defined yet.

Recent Activity

Jforeverss updated a model 2 days ago

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

Jforeverss published a model 2 days ago

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

Jforeverss published a dataset 4 days ago

DiffLean/goedel-prover-autoformalizer-openr1

View all activity

DiffLean 's models 4

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

Text Generation • 8B • Updated 2 days ago • 257

DiffLean/Qwen3-4B-bd3lm

4B • Updated Mar 19 • 13

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