Kakeya

FluffyAIcode's activity

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

cryptobiosis 

updated a model about 2 months ago

FluffyAIcode/Kakeya-OProver-Stage3-DPO

Text Generation • Updated Aug 8 • 6

cryptobiosis 

updated a Space about 2 months ago

Running

Kakeya OProver Lab

🧩

Lean proof-training journey and audited results

cryptobiosis 

updated 2 models about 2 months ago

FluffyAIcode/Kakeya-OProver-Stage4-Repair-SFT

Text Generation • Updated Aug 8 • 6

FluffyAIcode/Kakeya-OProver-Stage2-SFT1000

Text Generation • Updated Aug 8 • 7

cryptobiosis 

updated a dataset about 2 months ago

FluffyAIcode/Kakeya-OProver-Training

Viewer • Updated Aug 8 • 6.31k • 16

cryptobiosis 

updated a model about 2 months ago

FluffyAIcode/Kakeya-OProver-Stage1-SFT90

Text Generation • Updated Aug 8 • 7

cryptobiosis 

published a Space about 2 months ago

Running

Kakeya OProver Lab

🧩

Lean proof-training journey and audited results

cryptobiosis 

published a dataset about 2 months ago

FluffyAIcode/Kakeya-OProver-Training

Viewer • Updated Aug 8 • 6.31k • 16

cryptobiosis 

published 4 models about 2 months ago

FluffyAIcode/Kakeya-OProver-Stage2-SFT1000

Text Generation • Updated Aug 8 • 7

FluffyAIcode/Kakeya-OProver-Stage4-Repair-SFT

Text Generation • Updated Aug 8 • 6

FluffyAIcode/Kakeya-OProver-Stage3-DPO

Text Generation • Updated Aug 8 • 6

FluffyAIcode/Kakeya-OProver-Stage1-SFT90

Text Generation • Updated Aug 8 • 7

cryptobiosis 

updated a Space 5 months ago

Sleeping

1

KakeyaLattice KV-cache compression

📐

1

Run KV‑cache compression demo on LLMs

cryptobiosis 

published a Space 5 months ago

Sleeping

1

KakeyaLattice KV-cache compression

📐

1

Run KV‑cache compression demo on LLMs