Joshua Ong Jun Leang

Jforeverss

AI & ML interests

None yet

Recent Activity

updated a model about 12 hours ago
Pythagoras-LM/Pythagoras-Prover-4B
published a model about 17 hours ago
Pythagoras-LM/Pythagoras-Prover-4B
updated a dataset about 20 hours ago
Pythagoras-LM/32-B-mutated
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 SPA's profile picture Imperial-X project's profile picture Pythagoras-LM's profile picture K3's profile picture