---
language:
- en
license: apache-2.0
tags:
- generated_from_trainer
- tex2log
- log2tex
- foc

widget:
- text: "translate to nl: all x1.(_explanation(x1) -> -_equal(x1))"

model-index:
- name: t5-small-text2log
  results: []
---

<!-- This model card has been generated automatically according to the information the Trainer had access to. You
should probably proofread and complete it, then remove this comment. -->

# t5-small-text2log

This model is a fine-tuned version of [t5-small](https://huggingface.co/t5-small) on an Text2Log dataset.
It achieves the following results on the evaluation set:
- Loss: 0.0313

## Model description

More information needed

## Intended uses & limitations

More information needed

## Training and evaluation data

More information needed

## Training procedure

### Training hyperparameters

The following hyperparameters were used during training:
- learning_rate: 5e-05
- train_batch_size: 8
- eval_batch_size: 8
- seed: 42
- optimizer: Adam with betas=(0.9,0.999) and epsilon=1e-08
- lr_scheduler_type: linear
- num_epochs: 6

### Training results

| Training Loss | Epoch | Step   | Validation Loss |
|:-------------:|:-----:|:------:|:---------------:|
| 0.0749        | 1.0   | 21661  | 0.0509          |
| 0.0564        | 2.0   | 43322  | 0.0396          |
| 0.0494        | 3.0   | 64983  | 0.0353          |
| 0.0425        | 4.0   | 86644  | 0.0332          |
| 0.04          | 5.0   | 108305 | 0.0320          |
| 0.0381        | 6.0   | 129966 | 0.0313          |


### Framework versions

- Transformers 4.17.0.dev0
- Pytorch 1.10.0+cu111
- Datasets 1.18.3
- Tokenizers 0.11.0