评估 LLM 生成的神经符号推理世界模型

原文：Evaluating LLM-Generated World Models for Neuro-Symbolic Reasoning

正式的世界模型可以支持规划、验证和安全推理，但从开放式自然语言情况构建它们是很困难的，特别是在多智能体环境中，其中几种形式化可能是合理的。我们研究了五个法学硕士是否可以生成部分可观察的随机博弈这样的世界模型，以及机械有效性是否足以建立

正文由本站服务器抓取保存（已自动过滤广告、推荐位与追踪图片），排版与原站可能不同；版权归原站所有。