SPA

DiffLean's activity

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

Jforeverss 

updated a model 3 days ago

DiffLean/Euler-Prover-32B

Text Generation • Updated 3 days ago • 9

Jforeverss 

published a model 3 days ago

DiffLean/Euler-Prover-32B

Text Generation • Updated 3 days ago • 9

Jforeverss 

updated a model 3 days ago

DiffLean/Euler-Prover-8B

Text Generation • Updated 3 days ago • 11

Jforeverss 

published a model 3 days ago

DiffLean/Euler-Prover-8B

Text Generation • Updated 3 days ago • 11

Jforeverss 

updated a model 3 days ago

DiffLean/Euler-Prover-4B

Text Generation • Updated 3 days ago • 11

Jforeverss 

published a model 3 days ago

DiffLean/Euler-Prover-4B

Text Generation • Updated 3 days ago • 11

Jforeverss 

updated a dataset 3 days ago

DiffLean/DPO_Dataset

Viewer • Updated 3 days ago • 129k • 63

Jforeverss 

published a dataset 4 days ago

DiffLean/DPO_Dataset

Viewer • Updated 3 days ago • 129k • 63

Jforeverss 

updated a model 22 days ago

DiffLean/Qwen3-8b-Lean-LoRA

Text Generation • Updated 22 days ago • 12

Jforeverss 

published a model 22 days ago

DiffLean/Qwen3-8b-Lean-LoRA

Text Generation • Updated 22 days ago • 12

Jforeverss 

updated a model 28 days ago

DiffLean/Qwen3-4B-bd3lm

4B • Updated 28 days ago • 17

Jforeverss 

published a model 28 days ago

DiffLean/Qwen3-4B-bd3lm

4B • Updated 28 days ago • 17

Jforeverss 

updated 2 datasets about 1 month ago

DiffLean/Formal-Proof-Verified

Updated Mar 14 • 46

DiffLean/Formal-Proof-Unverified

Viewer • Updated Mar 13 • 503k • 130

Jforeverss 

published 2 datasets about 1 month ago

DiffLean/Formal-Proof-Verified

Updated Mar 14 • 46

DiffLean/Formal-Proof-Unverified

Viewer • Updated Mar 13 • 503k • 130

Jforeverss 

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

zsquaredz 

authored 2 papers 2 months ago

Verifying Chain-of-Thought Reasoning via Its Computational Graph

Paper • 2510.09312 • Published Oct 10, 2025 • 1

Self-Improving World Modelling with Latent Actions

Paper • 2602.06130 • Published Feb 5 • 32

zsquaredz 

authored a paper 7 months ago

To Adapt or to Fine-tune: A Case Study on Abstractive Summarization

Paper • 2208.14559 • Published Aug 30, 2022