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

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

Joshua Ong Jun Leang

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

AI & ML interests

None yet

Recent Activity

authored a paper 3 days ago
Theorem Prover as a Judge for Synthetic Data Generation
authored a paper 3 days ago
PiCSAR: Probabilistic Confidence Selection And Ranking
upvoted a paper 3 days ago
Theorem Prover as a Judge for Synthetic Data Generation
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

authored 2 papers 3 days ago

Theorem Prover as a Judge for Synthetic Data Generation

Paper • 2502.13137 • Published Feb 18 • 1

PiCSAR: Probabilistic Confidence Selection And Ranking

Paper • 2508.21787 • Published 8 days ago • 4
authored a paper 10 months ago

CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning

Paper • 2410.10336 • Published Oct 14, 2024 • 2
authored a paper about 1 year ago

Are We Done with MMLU?

Paper • 2406.04127 • Published Jun 6, 2024 • 39
Company
TOS Privacy About Jobs
Website
Models Datasets OCR模型免费转Markdown Pricing 模型下载攻略