Edit Models filters

Model Tree

Apps

Docker Model Runner

Inference Providers

OVHcloud AI Endpoints

HF Inference API

Misc

logical reasoning

Inference Endpoints

text-generation-inference

Eval Results (legacy)

text-embeddings-inference

4-bit precision

8-bit precision

Mixture of Experts

Carbon Emissions

Models

10

Base only

Active filters: logical reasoning

jzfeng/LoGiPT-vicuna-13b-v1.5-16k-proofwriter

Question Answering • 13B • Updated Feb 15, 2025 • 2

jzfeng/LoGiPT-CodeLlama-13b-hf-proofwriter

Question Answering • Updated Jun 21, 2024 • 1

jzfeng/LoGiPT-CodeLlama-13b-Instruct-hf-proofwriter

Question Answering • 13B • Updated Apr 16, 2025 • 4 • 1

jzfeng/LoGiPT-vicuna-13b-v1.5-16k-prontoqa

Question Answering • Updated Jun 21, 2024 • 1 • 2

jzfeng/LoGiPT-CodeLlama-13b-hf-prontoqa

Question Answering • 13B • Updated May 1, 2025 • 1

jzfeng/LoGiPT-CodeLlama-13b-Instruct-hf-prontoqa

Question Answering • 13B • Updated Mar 28, 2025 • 1 • 1

mradermacher/LoGiPT-vicuna-13b-v1.5-16k-proofwriter-GGUF

13B • Updated Feb 15, 2025 • 11

mradermacher/LoGiPT-vicuna-13b-v1.5-16k-proofwriter-i1-GGUF

13B • Updated Feb 15, 2025 • 391

mradermacher/LoGiPT-CodeLlama-13b-Instruct-hf-proofwriter-GGUF

13B • Updated Jul 31, 2025 • 42

mradermacher/LoGiPT-CodeLlama-13b-Instruct-hf-proofwriter-i1-GGUF

13B • Updated Jul 11, 2025 • 56