NAFBench

What is NAFBench?

A procedural generator of solver-certified instances spanning four semantic viewpoints: SLDNF, well-founded semantics, and credulous and skeptical reasoning…

Released

2026-09-23

Evaluates

General AI, Language & Knowledge, Reasoning

Openness

unknown

Importer

Claire Radar

Review status

ai-name-audit-deferred

Reported scores

0

Source provenance

• Original evidence https://arxiv.org/abs/2609.27517

NAFBench paper

• Paper https://arxiv.org/abs/2609.27517

Which sources cite NAFBench?

• NAFBench

Related General AI, Language & Knowledge, Reasoning benchmarks

• $\tau^\tau$-Bench: An Environment for End-To-End, Realistic Agent Construction
• 2d-fet-bench
• 3DCodeBench
• 5-Dialects-BN
• A Large-Scale Dataset and Benchmark
• A Real-World CAD Segmentation Benchmark
• A-OKVQA
• A3S-Bench