Benchmark
NAFBench
What is NAFBench?
Solver-certified normal logic programs verbalized into natural language, each labelled under four negation semantics (SLDNF, well-founded, and credulous and…
- Released
- 2026-09-23
- Evaluates
- reasoning
- Openness
- unknown
- Importer
- Model reports
- Reported scores
- 0
Source provenance
- Original evidence https://arxiv.org/abs/2609.27517
NAFBench paper
No reported scores are on record for this benchmark yet.