ASP-Bench: problems, ground truths, and solutions

This benchmark is designed for the task of translating natural language problem descriptions into answer set programs. To prevent training set contamination, the zip file is encrypted. The password can be found in the paper "ASP-Bench: From Natural Language to Logic Programs" by Stefan Szeider, proceedings of the 2nd International Workshop on Neuro-Symbolic Software Engineering (NSE) at ICSE 2026, doi:10.1145/3786168.3788402 Version v1.1 fixes validation issues found by a systematic mutation-control audit of all 128 ground