Semantic Agreement Evaluation on STL Formulae Equivalent
0.966Neural SimilarityKernel-aligned STL Encoder
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| Kernel-aligned STL Encoderpooling=[CLS] pooling2026.03 | 0.966 | 0.997 | 0.034 | 0.137 | 0.105 |
Loading the SOTA2 catalog…
| Method | Links | |||||
|---|---|---|---|---|---|---|
| Kernel-aligned STL Encoderpooling=[CLS] pooling2026.03 | 0.966 | 0.997 | 0.034 | 0.137 | 0.105 |