Lee

cryptobiosis's activity

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

upvoted a collection 2 days ago

Kakeya OProver — Lean Proof Training Journey

Collection

Lean proof LoRA journey: SFT, DPO regression, compiler-feedback repair, strict evals, and Jensen SEARCH_EXHAUSTED (no RH proof). • 6 items • Updated 2 days ago • 1

updated a collection 2 days ago

Kakeya OProver — Lean Proof Training Journey

Collection

Lean proof LoRA journey: SFT, DPO regression, compiler-feedback repair, strict evals, and Jensen SEARCH_EXHAUSTED (no RH proof). • 6 items • Updated 2 days ago • 1

updated a model 2 days ago

FluffyAIcode/Kakeya-OProver-Stage3-DPO

Text Generation • Updated 2 days ago

updated a Space 2 days ago

Running

Kakeya OProver Lab

🧩

Lean proof-training journey and audited results

updated 2 models 2 days ago

FluffyAIcode/Kakeya-OProver-Stage4-Repair-SFT

Text Generation • Updated 2 days ago

FluffyAIcode/Kakeya-OProver-Stage2-SFT1000

Text Generation • Updated 2 days ago

updated a dataset 2 days ago

FluffyAIcode/Kakeya-OProver-Training

Viewer • Updated 2 days ago • 6.31k • 22

updated a model 2 days ago

FluffyAIcode/Kakeya-OProver-Stage1-SFT90

Text Generation • Updated 2 days ago

published a Space 2 days ago

Running

Kakeya OProver Lab

🧩

Lean proof-training journey and audited results

published a dataset 2 days ago

FluffyAIcode/Kakeya-OProver-Training

Viewer • Updated 2 days ago • 6.31k • 22

published 4 models 2 days ago

FluffyAIcode/Kakeya-OProver-Stage2-SFT1000

Text Generation • Updated 2 days ago

FluffyAIcode/Kakeya-OProver-Stage4-Repair-SFT

Text Generation • Updated 2 days ago

FluffyAIcode/Kakeya-OProver-Stage3-DPO

Text Generation • Updated 2 days ago

FluffyAIcode/Kakeya-OProver-Stage1-SFT90

Text Generation • Updated 2 days ago

liked a Space 3 months ago

Sleeping

1

KakeyaLattice KV-cache compression

📐

1

Run KV‑cache compression demo on LLMs