Hugging Face's logo
Joshua Ong Jun Leang's picture
1 8 1

Joshua Ong Jun Leang

Jforeverss
wietsdev's profile picture aryopg's profile picture yuzhaouoe's profile picture
ยท

AI & ML interests

None yet

Recent Activity

updated a dataset 34 minutes ago
DiffLean/RL_dataset
published a dataset 36 minutes ago
DiffLean/RL_dataset
updated a model 41 minutes ago
DiffLean/K2-Prover-SFT-8B-LORA
View all activity

Organizations

Edina ASR's profile picture Edinburgh Dataset Analytics Working Group's profile picture PopEval's profile picture Mini Reasoning's profile picture University of Edinburgh's profile picture GRPO-Constraint's profile picture K2P's profile picture SPA's profile picture Imperial-X project's profile picture