Models fine-tuned for NL-FOL translation
Felix Vossel
fvossel
AI & ML interests
NLP
Neurosymbolic AI
Organizations
None yet
models 33
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
fvossel/t5-base-nl-to-fol_3step
0.2B • Updated
fvossel/Llama-3.1-8B-Instruct-nl-to-fol_multi_lingual
Updated
fvossel/OLMo-2-0325-32B-Instruct-nl-to-fol_multi_lingual
Updated
fvossel/Mistral-Small-24B-Instruct-nl-to-fol_multi_lingual
Updated • 2
fvossel/flan-t5-xxl-nl-to-fol_multi_lingual
Updated • 1
fvossel/t5-3b-nl-to-fol_multi_lingual
3B • Updated
datasets 0
None public yet