Edirlei Soares De Lima PhD

大模型分析数学、法律和日常论证中的符号关系

一项发表在arXiv上的新研究探索了使用大语言模型（LLMs）分析不同领域论证结构的应用。研究人员借鉴符号学研究，为四种符号关系——组合关系、聚合关系、对立关系和整体-部分关系——制定了操作性定义，并将其映射到推理、类比、矛盾和案例分析等证明方法。研究发现，这些关系的使用方式存在显著差异，数学证明使用了所有四种关系，而法律和日常推理主要依赖于推理。