fvossel/Mistral-Small-24B-Instruct-2501-nl-to-fol
Translation
•
Updated
NL-TO-FOl
Models fine-tuned for NL-FOL translation
-
-
fvossel/flan-t5-xxl-nl-to-fol
Translation • Updated -
fvossel/OLMo-2-0325-32B-Instruct-nl-to-fol
Translation • Updated -
fvossel/t5-3b-nl-to-fol
Translation • 3B • Updated • 19 -
fvossel/Llama-3.1-8B-Instruct-nl-to-fol
Translation • Updated • 1 -
fvossel/t5-base-nl-to-fol
Translation • 0.2B • Updated • 1.17k • 1 -
fvossel/t5-3b-nl-to-fol_gt_predicates
3B • Updated • 5 -
fvossel/flan-t5-xxl-nl-to-fol_gt_predicates
Updated • 1 -
fvossel/Mistral-Small-24B-Instruct-nl-to-fol_gt_predicates
Updated • 4 -
fvossel/OLMo-2-0325-32B-Instruct-nl-to-fol_gt_predicates
Updated • 2 -
fvossel/Llama-3.1-8B-Instruct-nl-to-fol_gt_predicates
Updated • 2 -
fvossel/t5-base-nl-to-fol_gt_predicates_noise
0.2B • Updated • 2 -
fvossel/t5-3b-nl-to-fol_gt_predicates_noise
3B • Updated • 2 -
fvossel/flan-t5-xxl-nl-to-fol_gt_predicates_noise
Updated • 4 -
fvossel/Mistral-Small-24B-Instruct-nl-to-fol_gt_predicates_noise
Updated • 2 -
fvossel/OLMo-2-0325-32B-Instruct-nl-to-fol_gt_predicates_noise
Updated • 2 -
fvossel/Llama-3.1-8B-Instruct-nl-to-fol_gt_predicates_noise
Updated • 5 -
fvossel/t5-base-nl-to-fol_new_tokens
0.2B • Updated • 4 -
fvossel/t5-3b-nl-to-fol_new_tokens
3B • Updated • 3 -
fvossel/flan-t5-xxl-nl-to-fol_new_tokens
Updated • 2 -
fvossel/Mistral-Small-24B-Instruct-nl-to-fol_new_tokens
Updated • 4 -
fvossel/OLMo-2-0325-32B-Instruct-nl-to-fol_new_tokens
Updated • 1 -
fvossel/Llama-3.1-8B-Instruct-nl-to-fol_new_tokens
Updated • 2 -
fvossel/t5-base-nl-to-fol_multi_lingual
0.2B • Updated • 1 -
fvossel/t5-3b-nl-to-fol_multi_lingual
3B • Updated • 6 -
fvossel/flan-t5-xxl-nl-to-fol_multi_lingual
Updated • 1 -
fvossel/Mistral-Small-24B-Instruct-nl-to-fol_multi_lingual
Updated • 3 -
fvossel/OLMo-2-0325-32B-Instruct-nl-to-fol_multi_lingual
Updated • 1 -
fvossel/Llama-3.1-8B-Instruct-nl-to-fol_multi_lingual
Updated • 1 -
fvossel/t5-base-nl-to-fol_3step
0.2B • Updated • 4 -
fvossel/t5-base-nl-to-fol_gt_predicates
0.2B • Updated • 6 -
fvossel/t5-3b-nl-to-fol_3step
3B • Updated • 2 -
fvossel/flan-t5-xxl-nl-to-fol_3step
Updated -
Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs
Paper • 2509.22338 • Published