Joshua Ong Jun Leang's picture

Joshua Ong Jun Leang

Jforeverss

·

AI & ML interests

None yet

Recent Activity

published a dataset 1 day ago

DiffLean/goedel-prover-autoformalizer-openr1

published a model 1 day ago

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

published a model 1 day ago

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

View all activity

Organizations

Papers 4

arxiv:2508.21787

arxiv:2502.13137

arxiv:2410.10336

arxiv:2406.04127

spaces 1

Finchat222

models 4

Jforeverss/Qwen2.5-1.5B-Open-R1-GRPO

Text Generation • 2B • Updated May 21, 2025 • 3

Jforeverss/DeepSeek-R1-Distill-Qwen-1.5B-GRPO

Text Generation • 2B • Updated May 16, 2025 • 3

Jforeverss/Qwen2.5-1.5B-Open-R1-Code-GRPO

Updated May 15, 2025

Jforeverss/Qwen2.5-1.5B-Open-R1-Distill

Text Generation • 2B • Updated Apr 18, 2025 • 2

datasets 0

None public yet