Joshua Ong Jun Leang's picture

6

Joshua Ong Jun Leang

Jforeverss

·

AI & ML interests

None yet

Recent Activity

authored a paper about 2 months ago

Theorem Prover as a Judge for Synthetic Data Generation

authored a paper about 2 months ago

PiCSAR: Probabilistic Confidence Selection And Ranking

upvoted a paper 2 months ago

Theorem Prover as a Judge for Synthetic Data Generation

View all activity

Organizations

Jforeverss 's models 4

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

Text Generation • 2B • Updated May 21

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

Text Generation • 2B • Updated May 16

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

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

Text Generation • 2B • Updated Apr 18