Kurosawama/Llama-3.1-8B-LogLim
Updated
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
14
Active filters: first-order-logic
Kurosawama/Llama-3.1-8B-Instruct-LogLim
Updated
Kurosawama/Llama-3.2-3B-LogLim
Updated
Kurosawama/Llama-3.2-3B-Instruct-LogLim
Updated
Kurosawama/gemma-3-1b-it-LogLim
Updated
fvossel/Llama-3.1-8B-Instruct-groves
Translation • Updated • 11
fvossel/Mistral-Small-24B-Instruct-groves
Translation • Updated
fvossel/OLMo-2-0325-32B-Instruct-groves
Translation • Updated • 13
fvossel/t5-base-groves
Translation • 0.2B • Updated • 10
fvossel/t5-3b-groves
Translation • 3B • Updated • 7
fvossel/flan-t5-xxl-groves
Translation • Updated
Venkatdatta/fol-slm
Translation • Updated
BoggersTheFish/ts-proof-ranker-v4
Text Generation • Updated • 6
eduzrh/EvoRM
Text Classification • Updated