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