最新研究发现，大规模语言模型在理解逻辑形式方面接近人类水平，但生成正确逻辑形式仍有改进空间。使用大规模语言模型生成更自然的语言训练数据可以增强小型模型效果。研究还发现大规模语言模型对不同形式语言表现出显著敏感性，较低形式化程度的形式语言对其更友好。