数据集:
metaeval/natural-language-satisfiability
@misc{https://doi.org/10.48550/arxiv.2211.05417, doi = {10.48550/ARXIV.2211.05417}, url = {https://arxiv.org/abs/2211.05417}, author = {Schlegel, Viktor and Pavlov, Kamen V. and Pratt-Hartmann, Ian}, keywords = {Computation and Language (cs.CL), Artificial Intelligence (cs.AI), FOS: Computer and information sciences, FOS: Computer and information sciences}, title = {Can Transformers Reason in Fragments of Natural Language?}, publisher = {arXiv}, year = {2022}, copyright = {Creative Commons Attribution 4.0 International} }