ahmad21omar/German-SLR-Bench

该数据集是一个编程相关的问题数据集，包含不同难度级别的问题，分为All、Basic、Easy、Hard和Medium五个版本。每个问题包含提示信息、真实规则、验证程序、符号、课程等级、课程层次、规则采样方式、规则复杂度、背景采样方式、问题大小、词汇谓词数量和词汇CAR常量等信息。This dataset is a programming-related question dataset containing problems of different difficulty levels, divided into five versions: All, Basic, Easy, Hard, and Medium. Each problem includes prompt information, ground-truth rule, validation program, symbols, curriculum level, curriculum tier, rule sampling method, rule complexity, background sampling method, problem size, number of vocabulary predicates, and vocabulary CAR constants.