Andre He

awhecmu's activity

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

updated 2 datasets about 1 month ago

awhecmu/canonical-drafter-extract-mathlib

Viewer • Updated Jun 13 • 1.09M • 67

awhecmu/canonical-drafter-rollout-gemini3flash

Viewer • Updated Jun 11 • 133k • 118

published 2 datasets about 1 month ago

awhecmu/canonical-drafter-rollout-gemini3flash

Viewer • Updated Jun 11 • 133k • 118

awhecmu/canonical-drafter-extract-mathlib

Viewer • Updated Jun 13 • 1.09M • 67

updated a model 3 months ago

awhecmu/Qwen3.5-9B-SFT-subproofs-mathlib-v4.29.0-Q5_K_M-GGUF

9B • Updated Apr 18 • 20

published a model 3 months ago

awhecmu/Qwen3.5-9B-SFT-subproofs-mathlib-v4.29.0-Q5_K_M-GGUF

9B • Updated Apr 18 • 20

updated a model 3 months ago

awhecmu/Qwen3.5-9B-SFT-subproofs-mathlib-v4.29.0

9B • Updated Apr 18 • 5

published a model 3 months ago

awhecmu/Qwen3.5-9B-SFT-subproofs-mathlib-v4.29.0

9B • Updated Apr 18 • 5

updated a model 8 months ago

awhecmu/have-prover-haveDraft11-fix-Q5_K_M-GGUF

8B • Updated Nov 13, 2025 • 23

published a model 8 months ago

awhecmu/have-prover-haveDraft11-fix-Q5_K_M-GGUF

8B • Updated Nov 13, 2025 • 23

updated a model 8 months ago

awhecmu/have-prover-haveDraft11-fix

Text Generation • 8B • Updated Nov 13, 2025 • 9

published a model 8 months ago

awhecmu/have-prover-haveDraft11-fix

Text Generation • 8B • Updated Nov 13, 2025 • 9

updated a model 9 months ago

awhecmu/have-prover-haveDraft11

Text Generation • 8B • Updated Oct 26, 2025 • 3

published a model 9 months ago

awhecmu/have-prover-haveDraft11

Text Generation • 8B • Updated Oct 26, 2025 • 3

updated a model 9 months ago

awhecmu/have-prover-haveDraft11

Text Generation • 8B • Updated Oct 26, 2025 • 3