本文为一篇关于战略行程规划的2018年论文提供了一个AI辅助的数学附录,重点关注合作与竞争。作者们重建了战略选择、合作稳定性以及参与者批准之间的关系,并在特定条件下验证了其含义。他们引入了一个在Lean中实现的正式化,该正式化保证了参与者批准和联合成本不恶化下的终止,并得到了讨价还价几何和基于后悔的效率的支持。 AI
影响 说明了人工智能如何提高数学和计算研究的严谨性和可重复性。
排序理由 该集群包含一篇详细介绍形式化和计算结果的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →