Categories Companies Research

Loading the SOTA2 catalog…

Explore

Categories Companies Research

Contribute

Join SOTA2 Contact

SOTA2

© 2026 SOTA2

Build in Bellevue, USA

WizWand is now SOTA2 Research

Papers Benchmarks Datasets Tasks

NL-to-FOL Syntax Correctness research benchmarks · SOTA2 Research

NL-to-FOL Syntax Correctness

Benchmarks

Dataset NameSOTA MethodSort

Dataset NameSOTA methodMetricTrendResultsLast Updated

LogicNLI (test)

99Syntax Correctness Rate

26

Feb 26, 2026

99Syntax Correctness Rate

26

Feb 26, 2026

Popular datasets

Follow for updates

Join SOTA2 Contact