Hugging Face's logo
Joshua Ong Jun Leang's picture
2 10 1

Joshua Ong Jun Leang

Jforeverss
21world's profile picture aryopg's profile picture yuzhaouoe's profile picture
ยท

AI & ML interests

None yet

Recent Activity

upvoted a paper about 15 hours ago
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
submitted a paper about 18 hours ago
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
updated a model 3 days ago
Pythagoras-LM/Pythagoras-Prover-4B
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