Semantic Agreement Evaluation on STL Formulae Lexically Sim.
0.308Neural SimilarityKernel-aligned STL Encoder
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| Kernel-aligned STL Encoderpooling=[CLS] pooling2026.03 | 0.308 | 0.225 | 0.112 | 0.77 | 0.775 |
Loading the SOTA2 catalog…