Miri在会议诉讼程序中有两篇论文AGI-15.。前面作为Miri技术报告发布的第一个文件是“Solomonoff诱导和AIXI的反光变种，“由Benja Fallenstein，Nate Soares和Jessica Taylor。
第二篇论文，“两次尝试在确定性设置中正式化逆向上学推理“通过Nate Soares和Benja Fallenstein，是一些材料的压缩版本早期的技术报告。这篇新的论文的摘要是：
本文认为，在开发适用于其环境中嵌入在其环境中的一般智能代理的决策理论的必要性时，促使对抗节目（逻辑上不可能的反事实）的研究。我们讨论了两次尝试使用逆济地，一个基于图形模型和另一个基于证明搜索的抵消组合的决策理论。
Fallenstein将参加AGI-15。
