Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Clemson Lab
haielab
Follow
hproc's profile picture
1 follower
·
4 following
AI & ML interests
None yet
Recent Activity
updated
a model
6 days ago
ai4he/mathscy-moe-7b
published
a model
6 days ago
ai4he/mathscy-moe-7b
updated
a model
7 months ago
haielab/DeepSeek-Prover-V2-7B-conjecture-chat-lr2e-4-gas4-seed789
View all activity
Organizations
haielab
's models
37
Sort:Â Recently updated
haielab/WizardMath-7B-V1.1-counterexamples-base
Updated
Jun 11, 2025
haielab/BFS-Prover-counterexamples-base
Updated
Jun 11, 2025
haielab/Mathstral-7b-v0.1-counterexamples-base
Updated
Jun 11, 2025
haielab/Qwen2.5-Math-7B-counterexamples-base
Updated
Jun 11, 2025
haielab/Qwen2.5-7B-counterexamples-base
Updated
Jun 10, 2025
haielab/qwen25-ft-merged
8B
•
Updated
Jun 9, 2025
haielab/qwen25-ft-lora
Updated
Jun 9, 2025
Previous
1
2
Next