数据集:

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}
}