SPA

DiffLean's activity

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

Jforeverss 

updated a model 1 day ago

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

Text Generation • 8B • Updated 1 day ago

Jforeverss 

published a model 1 day ago

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

Text Generation • 8B • Updated 1 day ago

Jforeverss 

published a dataset 3 days ago

DiffLean/goedel-prover-autoformalizer-openr1

Preview • Updated Dec 29, 2025 • 1

Jforeverss 

published 2 models 3 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

Jforeverss 

updated a dataset 3 days ago

DiffLean/SFT_Dataset

Viewer • Updated 3 days ago • 2.95M • 99

Jforeverss 

published a dataset 12 days ago

DiffLean/kiminaprover-deepscaler

Preview • Updated Dec 27, 2025 • 1

zsquaredz 

updated a dataset about 1 month ago

DiffLean/SFT_Dataset

Viewer • Updated 3 days ago • 2.95M • 99

Jforeverss 

updated a model about 1 month ago

DiffLean/Qwen3-4B-bd3lm

4B • Updated Mar 19 • 13

Jforeverss 

published a model about 1 month ago

DiffLean/Qwen3-4B-bd3lm

4B • Updated Mar 19 • 13

Jforeverss 

published a dataset about 2 months ago

DiffLean/SFT_Dataset

Viewer • Updated 3 days ago • 2.95M • 99

Jforeverss 

updated 2 datasets about 2 months ago

DiffLean/Formal-Proof-Verified

Updated Mar 14 • 75

DiffLean/Formal-Proof-Unverified

Viewer • Updated Mar 13 • 503k • 261

Jforeverss 

published 2 datasets about 2 months ago

DiffLean/Formal-Proof-Verified

Updated Mar 14 • 75

DiffLean/Formal-Proof-Unverified

Viewer • Updated Mar 13 • 503k • 261

Jforeverss 

submitted a paper to Daily Papers 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 • 2

zsquaredz 

authored 2 papers 3 months ago

Verifying Chain-of-Thought Reasoning via Its Computational Graph

Paper • 2510.09312 • Published Oct 10, 2025 • 2

Self-Improving World Modelling with Latent Actions

Paper • 2602.06130 • Published Feb 5 • 32

zsquaredz 

updated 2 datasets 4 months ago

DiffLean/goedel-prover-autoformalizer-openr1

Preview • Updated Dec 29, 2025 • 1

DiffLean/kiminaprover-deepscaler

Preview • Updated Dec 27, 2025 • 1