Joshua Ong Jun Leang

Jforeverss's activity

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

upvoted a collection 5 days ago

K2 Horizon

Collection

K2 Horizon models, datasets, and supporting resources • 22 items • Updated 4 days ago • 95

updated a model about 2 months ago

Pythagoras-LM/Pythagoras-Prover-4B

Text Generation • 4B • Updated Jul 23 • 1.61k • • 6

published a model about 2 months ago

Pythagoras-LM/Pythagoras-Prover-32B

Text Generation • 33B • Updated Jul 23 • 315

updated a model about 2 months ago

Pythagoras-LM/Pythagoras-Prover-32B

Text Generation • 33B • Updated Jul 23 • 315

updated a dataset about 2 months ago

Pythagoras-LM/SFT_Dataset_Distillation_32B

Updated Jul 23 • 109

published a dataset about 2 months ago

Pythagoras-LM/SFT_Dataset_Distillation_32B

Updated Jul 23 • 109

updated a dataset about 2 months ago

Pythagoras-LM/SFT_Dataset_Distillation_4B

Updated Jul 23 • 37

published a dataset about 2 months ago

Pythagoras-LM/SFT_Dataset_Distillation_4B

Updated Jul 23 • 37

liked a model 3 months ago

Pythagoras-LM/Pythagoras-Prover-4B

Text Generation • 4B • Updated Jul 23 • 1.61k • • 6

updated a dataset 3 months ago

Pythagoras-LM/SFT_Dataset

Viewer • Updated Jun 22 • 126k • 100 • 9

liked a dataset 3 months ago

Pythagoras-LM/SFT_Dataset

Viewer • Updated Jun 22 • 126k • 100 • 9

New activity in Pythagoras-LM/Pythagoras-Prover-4B 3 months ago

32B model

1

#1 opened 3 months ago by

juppy44

updated a model 3 months ago

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

Text Generation • 4B • Updated Jun 18 • 65

authored 4 papers 3 months 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 • 29

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

Paper • 2606.12594 • Published Jun 10 • 18

upvoted a paper 3 months ago

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

Paper • 2606.12594 • Published Jun 10 • 18

submitted a paper to Daily Papers 3 months ago

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

Paper • 2606.12594 • Published Jun 10 • 18

published a dataset 3 months ago

Pythagoras-LM/SFT_Dataset

Viewer • Updated Jun 22 • 126k • 100 • 9