saracandu commited on
Commit
20a3982
·
verified ·
1 Parent(s): 60f66ff

Upload STLForCausalLM

Browse files
Files changed (3) hide show
  1. README.md +3 -0
  2. config.json +1 -2
  3. generation_config.json +1 -1
README.md CHANGED
@@ -1,3 +1,6 @@
 
 
 
1
  # Materials for the paper "Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers" (Candussio et al.) @ ECML-PKDD 2025
2
 
3
  **TL;DR:**
 
1
+ ---
2
+ {}
3
+ ---
4
  # Materials for the paper "Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers" (Candussio et al.) @ ECML-PKDD 2025
5
 
6
  **TL;DR:**
config.json CHANGED
@@ -1,5 +1,4 @@
1
  {
2
- "_name_or_path": "saracandu/stldec_random",
3
  "activation_dropout": 0.0,
4
  "activation_function": "gelu",
5
  "architectures": [
@@ -31,7 +30,7 @@
31
  "scale_embedding": false,
32
  "share_encoder_decoder_embeddings": true,
33
  "torch_dtype": "float32",
34
- "transformers_version": "4.47.1",
35
  "use_cache": true,
36
  "vocab_size": 35
37
  }
 
1
  {
 
2
  "activation_dropout": 0.0,
3
  "activation_function": "gelu",
4
  "architectures": [
 
30
  "scale_embedding": false,
31
  "share_encoder_decoder_embeddings": true,
32
  "torch_dtype": "float32",
33
+ "transformers_version": "4.54.1",
34
  "use_cache": true,
35
  "vocab_size": 35
36
  }
generation_config.json CHANGED
@@ -5,5 +5,5 @@
5
  "eos_token_id": 3,
6
  "forced_eos_token_id": 3,
7
  "pad_token_id": 1,
8
- "transformers_version": "4.47.1"
9
  }
 
5
  "eos_token_id": 3,
6
  "forced_eos_token_id": 3,
7
  "pad_token_id": 1,
8
+ "transformers_version": "4.54.1"
9
  }