INSAIT-Institute/DPO-Think-14B
Text Generation • 15B • Updated • 1
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
56
Active filters: code-verification
kdunee/IntentGuard-1
1B • Updated • 20
Aletheia-Bench/GRPO-Think-7B-16k
Text Generation • 8B • Updated • 9
Aletheia-Bench/GRPO-Think-1.5B-16k
Text Generation • 2B • Updated • 11
Aletheia-Bench/GRPO-Think-14B-16k
Text Generation • 15B • Updated • 7
Aletheia-Bench/DPO-Think-1.5B
Text Generation • 2B • Updated • 12
Aletheia-Bench/DPO-Think-14B
Text Generation • 15B • Updated • 72 • 2
Aletheia-Bench/DPO-Think-7B
Text Generation • 8B • Updated • 9
Aletheia-Bench/RAFT-1.5B
Text Generation • 2B • Updated • 7
Aletheia-Bench/GRPO-Instruct-7B
Text Generation • 8B • Updated • 4
Aletheia-Bench/GRPO-Instruct-1.5B
Text Generation • 2B • Updated • 6
Aletheia-Bench/GRPO-Instruct-14B
Text Generation • 15B • Updated • 8
Aletheia-Bench/RAFT-14B
Text Generation • 15B • Updated • 4
Aletheia-Bench/GRPO-Think-1.5B-4k
Text Generation • 2B • Updated • 5
Aletheia-Bench/GRPO-Think-7B-4k
Text Generation • 8B • Updated • 5
Aletheia-Bench/GRPO-Think-1.5B-8k
Text Generation • 2B • Updated • 6
Aletheia-Bench/RAFT-7B
Text Generation • 8B • Updated • 5
Aletheia-Bench/BatchOnline-GRPO-1.5B
Text Generation • 2B • Updated • 8
Aletheia-Bench/GRPO-Think-14B-4k
Text Generation • 15B • Updated • 4
Aletheia-Bench/BatchOnline-GRPO-7B
Text Generation • 8B • Updated • 8 • 1
Aletheia-Bench/GRPO-Think-7B-8k
Text Generation • 8B • Updated • 8
Aletheia-Bench/BatchOnline-GRPO-14B
Text Generation • 15B • Updated • 9 • 1
Aletheia-Bench/GRPO-Think-14B-8k
Text Generation • 15B • Updated • 6 • 1
Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 548 • 11
mradermacher/Goedel-Code-Prover-8B-GGUF
8B • Updated • 126
Carnot-EBM/carnot-constraint-propagation-code
40.2k • Updated • 6
abalogh/Goedel-Code-Prover-8B-8bit
Text Generation • 8B • Updated • 17
khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6
Text Generation • 1B • Updated • 33
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4
Text Generation • 2B • Updated • 18
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8
Text Generation • 8B • Updated • 16