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

Joshua Ong Jun Leang

Jforeverss
aryopg's profile picture 21world's profile picture wietsdev's profile picture
·

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

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