Does an LLM follow a specified reading of default negation (SLDNF / well-founded / credulous / skeptical stable-model)? Solver-certified and generated fresh so it stays contamination-free. Primary metric: JOINT accuracy — a program counts only if all four specified readings are correct. Leaderboard & code.

One-click load (already split into train / dev / test)

from datasets import load_dataset ds = load_dataset("qbao775/naf-bench") ds["train"] #… See the full description on the dataset page: https://huggingface.co/datasets/qbao775/naf-bench.