List your company

ResearchFormerly WizWand

STL Formulae

Benchmarks

TaskDatasetSOTA resultTrendResults

Semantic Agreement Evaluation

STL Formulae Lexically Sim.

0.308Neural Similarity

1

Semantic Agreement Evaluation

STL Formulae Non-equivalent

0.182Neural Similarity

1

Semantic Agreement Evaluation

STL Formulae Equivalent

0.966Neural Similarity

1