Semantic Agreement Evaluation on STL Formulae Non-equivalent
0.182Neural SimilarityKernel-aligned STL Encoder
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| Kernel-aligned STL Encoderpooling=[CLS] pooling2026.03 | 0.182 | 0.17 | 0.072 | 0.833 | 0.83 |
Loading the SOTA2 catalog…