haielab/qwen25-ft-lora
Updated
Edit Models filters
Showing models from
Tasks
Parameters
Inference Providers
Hardware
Models
39
Active filters: haielab
haielab/qwen25-ft-merged
8B • Updated • 6
haielab/Qwen2.5-7B-Instruct-counterexamples-base
Updated
haielab/Qwen2.5-7B-counterexamples-base
Updated
haielab/WizardMath-7B-V1.1-counterexamples-base
Updated
haielab/llemma_7b-counterexamples-base
Updated
haielab/BFS-Prover-counterexamples-base
Updated
haielab/Qwen2.5-Math-7B-counterexamples-base
Updated
haielab/Mathstral-7b-v0.1-counterexamples-base
Updated
haielab/deepseek-math-7b-instruct-counterexamples-base
Updated
haielab/STP_model_Lean_0320-counterexamples-base
Updated
haielab/DeepSeek-Prover-V2-7B-counterexamples-base
Updated
haielab/qwen2.5-math-7b-ft
Updated
haielab/qwen2.5-math-7b-causal
Updated
haielab/DeepSeek-Prover-V2-7B-conjecture-base
Updated
haielab/DeepSeek-Prover-V2-7B-2nd-conjecture-base
Updated
haielab/DeepSeek-Prover-V2-7B-2ndfinal-conjecture-base
Updated
haielab/STP_model_Lean_0320-conjecture-base
Updated
haielab/DeepSeek-Prover-V2-7B-2ndEpoch-conjecture-base
Updated
haielab/Qwen2.5-Math-7B-conjecture-base
Updated
haielab/DeepSeek-Prover-V2-7B-3rdEpoch-conjecture-base
Updated
haielab/STP_model_Lean_0320-3rd-Epoch-conjecture-base
Updated
haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config
Text Generation • Updated
haielab/STP_model_Lean_0320-conjecture-base-FineTune-new-config
Text Generation • Updated
haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config-conjecture-base-FineTune-new-config-v2
Text Generation • Updated
haielab/STP_model_Lean_0320-conjecture-base-FineTune-new-config-conjecture-base-FineTune-new-config-v2
Text Generation • Updated
haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config-v3
Updated
haielab/STP_model_Lean_0320-conjecture-base-FineTune-new-config-v3
Updated
haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250724_1221
Updated
haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250724_1030
Updated