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, to appear in the proceedings of the 2nd International Workshop on Neuro-Symbolic Software Engineering (NSE) at ICSE 2026, and in a preprint on arXiv.
提供机构：
Zenodo创建时间：
2025-12-26
