Joshua Ong Jun Leang

Jforeverss's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

published a dataset 4 minutes ago

DiffLean/kiminaprover-deepscaler

Preview • Updated Dec 27, 2025

updated 2 datasets about 1 month ago

DiffLean/Formal-Proof-Verified

Updated Mar 14 • 43

DiffLean/Formal-Proof-Unverified

Viewer • Updated Mar 13 • 503k • 128

published 2 datasets about 1 month ago

DiffLean/Formal-Proof-Verified

Updated Mar 14 • 43

DiffLean/Formal-Proof-Unverified

Viewer • Updated Mar 13 • 503k • 128

upvoted a paper about 1 month ago

Unified Vision-Language Modeling via Concept Space Alignment

Paper • 2603.01096 • Published Mar 1 • 6

liked a dataset about 2 months ago

Hothan/OlympiadBench

Viewer • Updated Jun 8, 2025 • 8.48k • 4.07k • 42

upvoted a paper about 2 months ago

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

Paper • 2602.12586 • Published Feb 13 • 2

submitted a paper to Daily Papers about 2 months ago

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

Paper • 2602.12586 • Published Feb 13 • 2

authored 2 papers 8 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

upvoted 2 papers 8 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

updated a model 11 months ago

Jforeverss/Qwen2.5-1.5B-Open-R1-GRPO

Text Generation • 2B • Updated May 21, 2025 • 1

upvoted a paper 11 months ago

MMLongBench: Benchmarking Long-Context Vision-Language Models Effectively and Thoroughly

Paper • 2505.10610 • Published May 15, 2025 • 55

updated a model 11 months ago

Jforeverss/DeepSeek-R1-Distill-Qwen-1.5B-GRPO

Text Generation • 2B • Updated May 16, 2025 • 1

published 2 models 11 months ago

Jforeverss/Qwen2.5-1.5B-Open-R1-Code-GRPO

Updated May 15, 2025

Jforeverss/Qwen2.5-1.5B-Open-R1-GRPO

Text Generation • 2B • Updated May 21, 2025 • 1

published a model 12 months ago

Jforeverss/DeepSeek-R1-Distill-Qwen-1.5B-GRPO

Text Generation • 2B • Updated May 16, 2025 • 1

updated a model 12 months ago

Jforeverss/Qwen2.5-1.5B-Open-R1-Distill

Text Generation • 2B • Updated Apr 18, 2025 • 1