Joshua Ong Jun Leang

Jforeverss's activity

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

updated a model about 10 hours ago

Pythagoras-LM/Pythagoras-Prover-RL-32B

33B • Updated about 10 hours ago

published a model about 10 hours ago

Pythagoras-LM/Pythagoras-Prover-RL-32B

33B • Updated about 10 hours ago

updated a dataset 1 day ago

Pythagoras-LM/Mutated_Dataset_SFT_Filtered

Viewer • Updated 1 day ago • 1.95M • 10

published a dataset 1 day ago

Pythagoras-LM/Mutated_Dataset_SFT_Filtered

Viewer • Updated 1 day ago • 1.95M • 10

updated a model 4 days ago

Pythagoras-LM/Pythagoras-Prover-SFT-32B

Text Generation • 33B • Updated 4 days ago • 49

published a model 5 days ago

Pythagoras-LM/Pythagoras-Prover-SFT-32B

Text Generation • 33B • Updated 4 days ago • 49

updated a dataset 9 days ago

Pythagoras-LM/Pythagoras_RL_Dataset_v2

Viewer • Updated 9 days ago • 187k • 27

published a dataset 9 days ago

Pythagoras-LM/Pythagoras_RL_Dataset_v2

Viewer • Updated 9 days ago • 187k • 27

updated a dataset 10 days ago

Pythagoras-LM/Pythagoras_RL_Dataset

Viewer • Updated 9 days ago • 97.1k • 30

published a dataset 10 days ago

Pythagoras-LM/Pythagoras_RL_Dataset

Viewer • Updated 9 days ago • 97.1k • 30

updated a model 16 days ago

DiffLean/K2-Prover-SFT-8B-LORA

Text Generation • 8B • Updated 16 days ago • 262

published a model 16 days ago

DiffLean/K2-Prover-SFT-8B-LORA

Text Generation • 8B • Updated 16 days ago • 262

published a dataset 17 days ago

DiffLean/goedel-prover-autoformalizer-openr1

Preview • Updated Dec 29, 2025 • 8

published 2 models 17 days ago

DiffLean/qwen-2.5-math-7b-goedel-sft-v2

Text Generation • Updated Dec 21, 2025 • 4

DiffLean/qwen-2.5-math-7b-goedel-sft-v1

Text Generation • Updated Dec 21, 2025 • 9

updated a dataset 18 days ago

DiffLean/SFT_Dataset

Viewer • Updated 17 days ago • 2.95M • 213

updated 2 models 24 days ago

IX-CellPainting/qwen35-cpr-lora-nothink-20260412-145840-checkpoint-626

Text Generation • Updated 24 days ago • 17

IX-CellPainting/qwen35-cpr-lora-nothink-20260412-145840-checkpoint-600

Text Generation • Updated 24 days ago • 13

published a model 24 days ago

IX-CellPainting/qwen35-cpr-lora-nothink-20260412-145840-checkpoint-600

Text Generation • Updated 24 days ago • 13

updated a model 24 days ago

IX-CellPainting/qwen35-cpr-lora-nothink-20260412-145840-checkpoint-500

Text Generation • Updated 24 days ago • 12