Joshua Ong Jun Leang

Jforeverss

AI & ML interests

None yet

Recent Activity

updated a dataset about 2 hours ago
DiffLean/Formal-Proof-Verified
published a dataset about 2 hours ago
DiffLean/Formal-Proof-Verified
updated a dataset about 16 hours ago
DiffLean/Formal-Proof-Unverified
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