Edit Models filters

Model Tree

Apps

Docker Model Runner

Inference Providers

OVHcloud AI Endpoints

HF Inference API

Misc

first-order-logic

Inference Endpoints

text-generation-inference

Eval Results (legacy)

text-embeddings-inference

4-bit precision

8-bit precision

Mixture of Experts

Carbon Emissions

Models

13

Base only

Active filters: first-order-logic

Kurosawama/Llama-3.1-8B-LogLim

Kurosawama/Llama-3.1-8B-Instruct-LogLim

Kurosawama/Llama-3.2-3B-LogLim

Kurosawama/Llama-3.2-3B-Instruct-LogLim

Kurosawama/gemma-3-1b-it-LogLim

fvossel/Llama-3.1-8B-Instruct-groves

Translation • Updated Apr 24 • 11

fvossel/Mistral-Small-24B-Instruct-groves

Translation • Updated Apr 21

fvossel/OLMo-2-0325-32B-Instruct-groves

Translation • Updated Apr 24 • 13

fvossel/t5-base-groves

Translation • 0.2B • Updated Apr 21 • 24

fvossel/t5-3b-groves

Translation • 3B • Updated Apr 24 • 4

fvossel/flan-t5-xxl-groves

Translation • Updated Apr 21

Venkatdatta/fol-slm

Translation • Updated Apr 26

BoggersTheFish/ts-proof-ranker-v4

Text Generation • Updated May 5 • 3