NL-TO-FOl Models fine-tuned for NL-FOL translation fvossel/Mistral-Small-24B-Instruct-2501-nl-to-fol Translation • Updated Oct 11, 2025 fvossel/flan-t5-xxl-nl-to-fol Translation • Updated Oct 11, 2025 fvossel/OLMo-2-0325-32B-Instruct-nl-to-fol Translation • Updated Jun 20, 2025 fvossel/t5-3b-nl-to-fol Translation • 3B • Updated Jun 20, 2025 • 2
NL-TO-FOl Models fine-tuned for NL-FOL translation fvossel/Mistral-Small-24B-Instruct-2501-nl-to-fol Translation • Updated Oct 11, 2025 fvossel/flan-t5-xxl-nl-to-fol Translation • Updated Oct 11, 2025 fvossel/OLMo-2-0325-32B-Instruct-nl-to-fol Translation • Updated Jun 20, 2025 fvossel/t5-3b-nl-to-fol Translation • 3B • Updated Jun 20, 2025 • 2
