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

  • Log In
  • Sign Up

GRPO-Constraint

university
https://joshuaongg21.github.io/
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

Jforeverss  authored a paper about 2 months ago
Theorem Prover as a Judge for Synthetic Data Generation
Jforeverss  authored a paper about 2 months ago
PiCSAR: Probabilistic Confidence Selection And Ranking
Jforeverss  authored a paper 12 months ago
CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning
View all activity

Xuanli He's profile picture Joshua Ong Jun Leang's profile picture

Jforeverss 
authored 2 papers about 2 months 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 Aug 29 • 4
Jforeverss 
authored a paper 12 months ago

CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning

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

Are We Done with MMLU?

Paper • 2406.04127 • Published Jun 6, 2024 • 38
Jforeverss 
authored a paper over 1 year ago

Are We Done with MMLU?

Paper • 2406.04127 • Published Jun 6, 2024 • 38
zodiache 
authored a paper over 1 year ago

StarCoder 2 and The Stack v2: The Next Generation

Paper • 2402.19173 • Published Feb 29, 2024 • 148
Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs