task_categories:question-answering task_categories:text-classification language:zh license:other size_categories:n<1K format:json modality:text library:datasets library:pandas library:polars library:mlcroissant arxiv:2605.19597 region:us logic logical-reasoning propositional-logic first-order-logic z3 smt benchmark evaluation llmeval chinese reasoning