Models fine-tuned for NL-FOL translation
Felix Vossel
fvossel
AI & ML interests
NLP
Neurosymbolic AI
Recent Activity
updated a collection about 2 months ago
NL-TO-FOl updated a collection about 2 months ago
NL-TO-FOl updated a collection about 2 months ago
NL-TO-FOlOrganizations
None yet
models 39
fvossel/Llama-3.1-8B-Instruct-groves
Translation • Updated • 11
fvossel/t5-3b-groves
Translation • 3B • Updated
fvossel/OLMo-2-0325-32B-Instruct-groves
Translation • Updated • 13
fvossel/Mistral-Small-24B-Instruct-groves
Translation • Updated
fvossel/flan-t5-xxl-groves
Translation • Updated
fvossel/t5-base-groves
Translation • 0.2B • Updated • 1
fvossel/flan-t5-xxl-nl-to-fol
Translation • Updated
fvossel/Mistral-Small-24B-Instruct-2501-nl-to-fol
Translation • Updated
fvossel/flan-t5-xxl-nl-to-fol_3step
Updated
fvossel/t5-3b-nl-to-fol_3step
3B • Updated • 1