Instructions to use fvossel/flan-t5-xxl-nl-to-fol with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- Transformers
How to use fvossel/flan-t5-xxl-nl-to-fol with Transformers:
# Use a pipeline as a high-level helper # Warning: Pipeline type "translation" is no longer supported in transformers v5. # You must load the model directly (see below) or downgrade to v4.x with: # 'pip install "transformers<5.0.0' from transformers import pipeline pipe = pipeline("translation", model="fvossel/flan-t5-xxl-nl-to-fol")# Load model directly from transformers import AutoModel model = AutoModel.from_pretrained("fvossel/flan-t5-xxl-nl-to-fol", dtype="auto") - Notebooks
- Google Colab
- Kaggle
Update README.md
Browse files
README.md
CHANGED
|
@@ -136,4 +136,21 @@ Fine-tuning was performed using LoRA adapters on the pre-trained `google/flan-t5
|
|
| 136 |
- **Save strategy:** per epoch
|
| 137 |
- **DDP parameters:**
|
| 138 |
- `ddp_find_unused_parameters=False`
|
| 139 |
-
- `ddp_backend="nccl"`
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 136 |
- **Save strategy:** per epoch
|
| 137 |
- **DDP parameters:**
|
| 138 |
- `ddp_find_unused_parameters=False`
|
| 139 |
+
- `ddp_backend="nccl"`
|
| 140 |
+
|
| 141 |
+
|
| 142 |
+
# Citation
|
| 143 |
+
|
| 144 |
+
If you use this models for scientific purposes, **please cite the following paper**:
|
| 145 |
+
|
| 146 |
+
```
|
| 147 |
+
@misc{vossel2025advancingnaturallanguageformalization,
|
| 148 |
+
title={Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs},
|
| 149 |
+
author={Felix Vossel and Till Mossakowski and Björn Gehrke},
|
| 150 |
+
year={2025},
|
| 151 |
+
eprint={2509.22338},
|
| 152 |
+
archivePrefix={arXiv},
|
| 153 |
+
primaryClass={cs.CL},
|
| 154 |
+
url={https://arxiv.org/abs/2509.22338},
|
| 155 |
+
}
|
| 156 |
+
```
|