Joshua Ong Jun Leang

Jforeverss's activity

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

updated a model about 5 hours ago

DiffLean/Euler-Prover-32B

Text Generation • Updated about 5 hours ago

published a model about 5 hours ago

DiffLean/Euler-Prover-32B

Text Generation • Updated about 5 hours ago

updated a model about 5 hours ago

DiffLean/Euler-Prover-8B

Text Generation • Updated about 5 hours ago

published a model about 5 hours ago

DiffLean/Euler-Prover-8B

Text Generation • Updated about 5 hours ago

updated a model about 5 hours ago

DiffLean/Euler-Prover-4B

Text Generation • Updated about 5 hours ago

published a model about 5 hours ago

DiffLean/Euler-Prover-4B

Text Generation • Updated about 5 hours ago

updated a dataset about 10 hours ago

DiffLean/DPO_Dataset

Viewer • Updated about 6 hours ago • 128k • 6

published a dataset about 23 hours ago

DiffLean/DPO_Dataset

Viewer • Updated about 6 hours ago • 128k • 6

updated a model 19 days ago

DiffLean/Qwen3-8b-Lean-LoRA

Text Generation • Updated 19 days ago • 12

published a model 19 days ago

DiffLean/Qwen3-8b-Lean-LoRA

Text Generation • Updated 19 days ago • 12

updated a model 25 days ago

DiffLean/Qwen3-4B-bd3lm

4B • Updated 25 days ago • 17

published a model 25 days ago

DiffLean/Qwen3-4B-bd3lm

4B • Updated 25 days ago • 17

updated 2 datasets about 1 month ago

DiffLean/Formal-Proof-Verified

Updated about 1 month ago • 50

DiffLean/Formal-Proof-Unverified

Viewer • Updated Mar 13 • 503k • 131

published 2 datasets about 1 month ago

DiffLean/Formal-Proof-Verified

Updated about 1 month ago • 50

DiffLean/Formal-Proof-Unverified

Viewer • Updated Mar 13 • 503k • 131

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.02k • 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 • 1

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 • 1