Joshua Ong Jun Leang

Joshua Ong Jun Leang on Hugging Face Daily Papers: 5 papers, 0 in the top 3 of their day, 94 upvotes.

1. Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation 16 upvotes, #16 of 2026-06-15
2. SCOPE: Self-Play via Co-Evolving Policies for Open-Ended Tasks 28 upvotes, #15 of 2026-06-01
3. Can I Have Your Order? Monte-Carlo Tree Search for Slot Filling Ordering in Diffusion Language Models 1 upvotes, #25 of 2026-02-17
4. OpenSIR: Open-Ended Self-Improving Reasoner 20 upvotes, #14 of 2025-11-04
5. Are We Done with MMLU? 35 upvotes, #4 of 2024-06-13

Data: hysts-bot-data/daily-papers-stats and the Daily Papers API. Open data: tardellirs/paper-pulse-data. Sister project: Model Pulse, the download history of every model on the Hub.