SPA

DiffLean's activity

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

Jforeverss 

updated a dataset about 1 hour ago

DiffLean/DPO_Dataset

Viewer • Updated about 1 hour ago • 128k • 6

Jforeverss 

published a dataset about 14 hours ago

DiffLean/DPO_Dataset

Viewer • Updated about 1 hour ago • 128k • 6

Jforeverss 

updated a model 19 days ago

DiffLean/Qwen3-8b-Lean-LoRA

Text Generation • Updated 19 days ago • 12

Jforeverss 

published a model 19 days ago

DiffLean/Qwen3-8b-Lean-LoRA

Text Generation • Updated 19 days ago • 12

zsquaredz 

updated a dataset 24 days ago

DiffLean/SFT_Dataset

Viewer • Updated 24 days ago • 1.97M • 178

Jforeverss 

updated a model 25 days ago

DiffLean/Qwen3-4B-bd3lm

4B • Updated 25 days ago • 17

Jforeverss 

published a model 25 days ago

DiffLean/Qwen3-4B-bd3lm

4B • Updated 25 days ago • 17

Jforeverss 

updated a dataset 26 days ago

DiffLean/SFT_Dataset

Viewer • Updated 24 days ago • 1.97M • 178

Jforeverss 

published a dataset 30 days ago

DiffLean/SFT_Dataset

Viewer • Updated 24 days ago • 1.97M • 178

Jforeverss 

updated a dataset 30 days ago

DiffLean/Formal-Proof-Verified

Updated 30 days ago • 50

Jforeverss 

updated a dataset about 1 month ago

DiffLean/Formal-Proof-Unverified

Viewer • Updated Mar 13 • 503k • 131

Jforeverss 

published 2 datasets about 1 month ago

DiffLean/Formal-Proof-Verified

Updated 30 days ago • 50

DiffLean/Formal-Proof-Unverified

Viewer • Updated Mar 13 • 503k • 131

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

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 4 papers 7 months ago

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

Paper • 2208.14559 • Published Aug 30, 2022

A Unified Model for Reverse Dictionary and Definition Modelling

Paper • 2205.04602 • Published May 9, 2022

What Is That Talk About? A Video-to-Text Summarization Dataset for Scientific Presentations

Paper • 2502.08279 • Published Feb 12, 2025 • 1

PersonaLens: A Benchmark for Personalization Evaluation in Conversational AI Assistants

Paper • 2506.09902 • Published Jun 11, 2025 • 2