Our new X account is live! Follow @wizwand_team for updates
WorkDL logo mark

LogicNLI

Benchmarks

Task NameDataset NameSOTA ResultTrend
Natural Language InferenceLogicNLI
Accuracy41
26
NL-to-FOL Syntax CorrectnessLogicNLI (test)
Syntax Correctness Rate99
26
First-Order Logic ReasoningLogicNLI
Pass@176.6
18
Showing 3 of 3 rows