Joshua Ong Jun Leang

Jforeverss's activity

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

updated a model about 1 hour ago

DiffLean/Qwen3-8b-Lean-LoRA

Text Generation • Updated about 1 hour ago

published a model about 1 hour ago

DiffLean/Qwen3-8b-Lean-LoRA

Text Generation • Updated about 1 hour ago

updated a model 6 days ago

DiffLean/Qwen3-4B-bd3lm

4B • Updated 6 days ago • 15

published a model 6 days ago

DiffLean/Qwen3-4B-bd3lm

4B • Updated 6 days ago • 15

updated a dataset 7 days ago

DiffLean/SFT_Dataset

Viewer • Updated 5 days ago • 1.97M • 116

published a dataset 11 days ago

DiffLean/SFT_Dataset

Viewer • Updated 5 days ago • 1.97M • 116

updated a dataset 11 days ago

DiffLean/Formal-Proof-Verified

Updated 11 days ago • 43

updated a dataset 12 days ago

DiffLean/Formal-Proof-Unverified

Viewer • Updated 12 days ago • 503k • 70

published a dataset 17 days ago

DiffLean/Formal-Proof-Verified

Updated 11 days ago • 43

published a dataset 20 days ago

DiffLean/Formal-Proof-Unverified

Viewer • Updated 12 days ago • 503k • 70

upvoted a paper 22 days ago

Unified Vision-Language Modeling via Concept Space Alignment

Paper • 2603.01096 • Published 24 days ago • 6

liked a dataset about 1 month ago

Hothan/OlympiadBench

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

upvoted a paper about 1 month 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

submitted a paper to Daily Papers about 1 month 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 7 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 7 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 10 months ago

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

Text Generation • 2B • Updated May 21, 2025

upvoted a paper 10 months ago

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

Paper • 2505.10610 • Published May 15, 2025 • 55