List your company

ResearchFormerly WizWand

Semantic Agreement Evaluation

Benchmarks

DatasetSOTA methodMetricTrendResultsLast updated

STL Formulae Lexically Sim.

Kernel-aligned STL Encoder

0.308Neural Similarity

1

Mar 6, 2026

STL Formulae Non-equivalent

Kernel-aligned STL Encoder

0.182Neural Similarity

1

Mar 6, 2026

STL Formulae Equivalent

Kernel-aligned STL Encoder

0.966Neural Similarity

1

Mar 6, 2026