Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Joshua Ong Jun Leang's picture
1 8 1

Joshua Ong Jun Leang

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

AI & ML interests

None yet

Recent Activity

updated a dataset 2 days ago
DiffLean/SFT_Dataset
published a dataset 2 days ago
DiffLean/SFT_Dataset
updated a dataset 2 days ago
DiffLean/Formal-Proof-Verified
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

submitted a paper to Daily Papers 27 days ago

Can I Have Your Order? Monte-Carlo Tree Search for Slot Filling Ordering in Diffusion Language Models

Paper • 2602.12586 • Published Feb 13 • 1
authored 2 papers 6 months ago

Theorem Prover as a Judge for Synthetic Data Generation

Paper • 2502.13137 • Published Feb 18, 2025 • 1

PiCSAR: Probabilistic Confidence Selection And Ranking

Paper • 2508.21787 • Published Aug 29, 2025 • 4
authored a paper over 1 year ago

CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning

Paper • 2410.10336 • Published Oct 14, 2024 • 2
authored a paper almost 2 years ago

Are We Done with MMLU?

Paper • 2406.04127 • Published Jun 6, 2024 • 39
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs