Kurosawama/Llama-3.1-8B-LogLim
Updated
Edit Models filters
Model Tree
Apps
Inference Providers
Models
17
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 • 1
fvossel/t5-3b-groves
Translation • 3B • Updated • 8
fvossel/flan-t5-xxl-groves
Translation • Updated
Venkatdatta/fol-slm
Translation • Updated
BoggersTheFish/ts-proof-ranker-v0
Text Classification • Updated • 19
BoggersTheFish/ts-proof-ranker-v1
Text Classification • Updated • 20
BoggersTheFish/ts-proof-ranker-v2
Token Classification • Updated • 21
BoggersTheFish/ts-proof-ranker-v3
Text Generation • Updated • 19
BoggersTheFish/ts-proof-ranker-v4
Text Generation • Updated • 19