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
•
3
fvossel/t5-base-nl-to-fol_3step
0.2B
•
Updated
•
2
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
•
1
fvossel/flan-t5-xxl-nl-to-fol_multi_lingual
Updated
•
1
fvossel/t5-3b-nl-to-fol_multi_lingual
3B
•
Updated
•
2
datasets
0
None public yet