MArgE: Meshing Argumentative Evidence from Multiple Large Language Models for Justifiable Claim Verification
专题命中 代码与定理证明 :reasoning(abstract);分类 cs.CL、cs.AI
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
专题命中 代码与定理证明 :reasoning(abstract);分类 cs.CL、cs.AI
专题命中 代码与定理证明 :reasoning(abstract)
Comments Accepted at the NIPS ML4PS Workshop 2024. The journal version is in preparation. Code and data will be fully made public following the journal publication. We welcome any comments and feedback