Joshua Ong Jun Leang

Jforeverss's activity

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

updated a dataset less than a minute ago

Pythagoras-LM/SFT_Dataset_Distillation_32B

Updated less than a minute ago

published a dataset 1 minute ago

Pythagoras-LM/SFT_Dataset_Distillation_32B

Updated less than a minute ago

updated a dataset 1 minute ago

Pythagoras-LM/SFT_Dataset_Distillation_4B

Updated 1 minute ago

published a dataset 2 minutes ago

Pythagoras-LM/SFT_Dataset_Distillation_4B

Updated 1 minute ago

liked a model about 1 month ago

Pythagoras-LM/Pythagoras-Prover-4B

Text Generation • 4B • Updated Jun 18 • 634 • • 5

updated a dataset about 1 month ago

Pythagoras-LM/SFT_Dataset

Viewer • Updated about 1 month ago • 126k • 217 • 9

liked a dataset about 1 month ago

Pythagoras-LM/SFT_Dataset

Viewer • Updated about 1 month ago • 126k • 217 • 9

New activity in Pythagoras-LM/Pythagoras-Prover-4B about 1 month ago

32B model

1

#1 opened about 1 month ago by

juppy44

updated 2 models about 1 month ago

Pythagoras-LM/Pythagoras-Prover-Diffusion-4B

Text Generation • 4B • Updated Jun 18 • 14

Pythagoras-LM/Pythagoras-Prover-4B

Text Generation • 4B • Updated Jun 18 • 634 • • 5

authored 4 papers about 1 month ago

OpenSIR: Open-Ended Self-Improving Reasoner

Paper • 2511.00602 • Published Nov 1, 2025 • 21

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

Paper • 2602.12586 • Published Feb 13 • 2

SCOPE: Self-Play via Co-Evolving Policies for Open-Ended Tasks

Paper • 2605.31433 • Published May 29 • 28

Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation

Paper • 2606.12594 • Published Jun 10 • 17

upvoted a paper about 1 month ago

Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation

Paper • 2606.12594 • Published Jun 10 • 17

submitted a paper to Daily Papers about 1 month ago

Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation

Paper • 2606.12594 • Published Jun 10 • 17

published a dataset about 1 month ago

Pythagoras-LM/SFT_Dataset

Viewer • Updated about 1 month ago • 126k • 217 • 9

published a model about 1 month ago

Pythagoras-LM/Pythagoras-Prover-Diffusion-4B

Text Generation • 4B • Updated Jun 18 • 14

published a model about 2 months ago

Pythagoras-LM/Pythagoras-Prover-4B

Text Generation • 4B • Updated Jun 18 • 634 • • 5

upvoted a paper about 2 months ago

SCOPE: Self-Play via Co-Evolving Policies for Open-Ended Tasks

Paper • 2605.31433 • Published May 29 • 28