金宝博娱乐研究研讨会

2018年7月20 - 22日加州伯克利分校

第2届人工智能对齐方法研讨会


人类兼容人工智能中心本周末研讨会从Miri和UC Berkeley汇集了研究实习生金宝博娱乐人类兼容人工智能中心(CHAI)讨论人工智能安全研究的概念基础和有待解决的问题。金宝博娱乐

2017年11月18日至19日,加州伯克利分校

1ST AI对准方法的第一次研讨会


这个周末的研讨会汇集了对理解和探索MIRI之间的交集感兴趣的研究人员金宝博娱乐代理基础金宝博娱乐研究议程和保罗基斯蒂亚诺的研究金宝博娱乐

2017年4月1日至2日加州伯克利分校

机器学习和AI安全的第四次研讨会


人工智能杂志本次研讨会汇集了具有机器学习背景的研究人员,他们致力于研究可以金宝博娱乐在当前机器学习系统和框架中建模的长期人工智能安全问题,例如“金宝博官方人工智能安全的具体问题“ 和 ”高级机器学习系统对齐金宝博官方“。

这个研讨会的部分经费是由一笔赠款人工智能杂志

2017年3月25日至26日加州伯克利分校

药剂基础和人工智能安全讲习班


这个为期两天的周末研讨会汇集了对人工智能长期理论安全研究感兴趣的研究人员。金宝博娱乐研讨会涵盖了当前人工智能安全研究议程和项目的背景和内容(重点是MIRI的金宝博娱乐代理基金会技术议程).它是为具有技术背景和以前没有广泛从事金宝博娱乐MIRI工作的研究人员准备的。

2016年12月1 - 3日加州伯克利分校

第三届机器学习和人工智能安全研讨会


这个为期三天的小型研讨会将具有机器学习背景的研究人员聚集在一起,研究可以在当前机器学习系统和框金宝博娱乐架中建模的长期人工智能安全问题,例如“金宝博官方人工智能安全的具体问题“ 和 ”高级机器学习系统对齐金宝博官方“。

包括主题使用共享嵌入的零拍摄学习,两者的区别quantilization和正规化,生成对抗网络和古德哈特定律,以及数学形式保守的概念学习

2016年11月11日至13日加州伯克利分校

第9届逻辑学、概率论与反思研讨会


在这个三天的研讨会上的参与者 - 其中大多数过去研讨会的退伍军人 - 致力于与miri的各种问题致力于代理基金会技术议程

主题包括丰富的域名安全探索,预测人类和预测HCH之间的差异,决策理论源于其他决策理论的自我修正

2016年10月研讨会,加州伯克利分校

第二届机器学习和人工智能安全研讨会


这个为期三天的小型研讨会将具有机器学习背景的研究人员聚集在一起,研究可以在当前机器学习系统和框金宝博娱乐架中建模的长期人工智能安全问题,例如“金宝博官方人工智能安全的具体问题“ 和 ”高级机器学习系统对齐金宝博官方“。

主题包括使用不同本体学习概念,任务AGI的问题审查表示,保守概念

2016年8月26 - 28日期间,加州伯克利分校

第一次机器学习和人工智能安全研讨会


为期三天的研讨会汇集了具有机器学习背景的研究人员,他们将研究可以在当前机器学习系统金宝博娱乐和框架中建模的长期人工智能安全问题,例如“金宝博官方人工智能安全的具体问题“ 和 ”高级机器学习系统对齐金宝博官方“。

主题包括学习人类解释和环境的因果模型;基于影响措施的工程成本函数抑制副作用;设计强大的指标,以质量的据称解释计划;并制定古老的法律的正式模型,产生温和优化。

2016年8月12 - 14,加州伯克利分校

第八届逻辑学、概率论与反思研讨会


这次研讨会的参加者——他们都是过去研讨会的老手——研究了与MIRI相关的各种问题代理基金会技术议程,专注于决策理论和正式建设的逻辑反应性。

2016年6月17日加州伯克利分校

CSRBAI智能体模型与多智能体困境研讨会


来自各院校的二十名参加者包括:
  • 南加州大学创新技术研究所
  • 卡尔顿大学
  • 人文研究所的未来
  • 卡内基梅隆大学
  • 哈佛大学
  • 牛津大学
  • 伦敦大学学院
  • 澳大利亚国立大学
  • UC Berkeley.
  • 但奥斯丁
  • 普林斯顿大学
  • 哥伦比亚大学

健壮有益的人工智能系列研讨会包括一系列研讨会,以促进对人工智能健壮性和可靠性相关技术挑战的多种不同方法感兴趣的人们之间的对话和合作。

第四工作坊CSRBAI专注于在其环境中表现良好的设计代理的主题,而不忽略代理人自己的行为对环境的影响或环境中的其他代理商。

2016年6月11 - 12,加州伯克利分校

CSRBAI关于偏好规范的研讨会


来自各院校的二十名参加者包括:
  • 澳大利亚国立大学
  • 伦敦大学学院
  • 存在风险研究中心
  • 牛津大学
  • 人文研究所的未来
  • 卡内基梅隆大学
  • 瑞士AI实验室IDSIA
  • 澳大利亚国立大学
  • UC Berkeley.
  • 布朗大学
  • 蒙特利尔大学
  • 南加州大学创新技术研究所

健壮有益的人工智能系列研讨会包括一系列研讨会,以促进对人工智能健壮性和可靠性相关技术挑战的多种不同方法感兴趣的人们之间的对话和合作。

第三个车间CSRBAI专注于高度有能力的AI系统的偏好规范主题,其中希望代码“做我的意思,而不是我所说的”的多年生问题变得越来越具有挑战性。金宝博官方

2016年6月4日至5日加州伯克利分校

CSRBAI鲁棒性和容错研讨会


来自机构的十四名参与者,包括:
  • 伦敦大学学院
  • 存在风险研究中心
  • 谷歌
  • 人文研究所的未来
  • 卡内基梅隆大学
  • 澳大利亚国立大学
  • UC Berkeley.
  • 瑞士AI实验室IDSIA
  • 康奈尔大学
  • 南加州大学创新技术研究所

健壮有益的人工智能系列研讨会包括一系列研讨会,以促进对人工智能健壮性和可靠性相关技术挑战的多种不同方法感兴趣的人们之间的对话和合作。

第二车间CSRBAI专注于AI系统中的稳健性和误差的主题,以及如何确保当AI系统失败时,它们优雅和可检测地失败。金宝博官方

2016年5月28日至29日加州伯克利分校

CSRBAI透明度研讨会


来自各院校的二十名参加者包括:
  • 俄勒冈州立大学
  • 澳大利亚国立大学
  • 人文研究所的未来
  • 卡内基梅隆大学
  • IBM的金宝博娱乐研究
  • 蒙特利尔算法学习研究所
  • 谷歌研究金宝博娱乐
  • 斯坦福大学
  • 谷歌
  • UC Berkeley.
  • 伦敦大学学院
  • 哈佛大学
  • 生命研究所的未来

健壮有益的人工智能系列研讨会包括一系列研讨会,以促进对人工智能健壮性和可靠性相关技术挑战的多种不同方法感兴趣的人们之间的对话和合作。

第一个车间CSRBAI专注于AI系统中透明度的主题,以及我们如何在维护能力的同时提高透明度。金宝博官方

2016年4月1日至3日加州伯克利分校

自我参考,类型理论和正式验证


参与者致力于类型理论和自动定理证明中的自我参照问题,其目标是研究能够自我建模的系统。金宝博官方

2015年8月28 - 30日加州伯克利分校

第三届逻辑决策理论导论研讨会


这是一系列介绍性研讨会的第六次,MIRI将具有不同背景的研究人员聚集在一起,讨论了其中一个金宝博娱乐技术议程主题,并开始在该领域的项目和合作。

这次研讨会的主题是决策理论,并在以下帖子中讨论研讨会开始的项目:证明长度和逻辑反贪性重新审视

2015年8月7号到9号,加州伯克利分校

第二届逻辑不确定性介绍性研讨会


这是一系列介绍性研讨会中的第五次,MIRI将具有不同背景的研究人员聚集在一起,讨论了其中一个金宝博娱乐技术议程主题,并开始在该领域的项目和合作。

这次研讨会的主题是逻辑的不确定性,并在以下帖子中讨论研讨会开始的项目:无论如何,有什么逻辑的一致性?

2015年6月26 - 28日期间,加州伯克利分校

第一次vinean反思导论研讨会


这是一系列介绍性研讨会的第四次,MIRI将具有不同背景的研究人员聚集在一起,讨论了其中一个金宝博娱乐技术议程主题,并开始在该领域的项目和合作。

这次研讨会的主题是Vingean反射此后讨论了研讨会的项目,并在以下帖子中讨论:

2015年6月12 - 14,加州伯克利分校

第二届逻辑决策理论导论研讨会


这是一系列介绍性研讨会的第三个,其中Miri将研究人员汇集在一起​​,与不同的背景,讨论了其中一个的公开问题金宝博娱乐技术议程主题,并开始在该领域的项目和合作。

这次研讨会的主题是决策理论,并在以下帖子中讨论研讨会开始的项目:有限和无限情况下的不动点定理

2015年5月29日到31日加州伯克利分校

第一次关于逻辑不确定性的介绍性研讨会


这是一系列介绍性研讨会的第二个,Miri将研究人员汇集在一起​​,与不同的背景一起讨论了其中一个的公开问题金宝博娱乐技术议程主题,并开始在该领域的项目和合作。

这次研讨会的主题是逻辑的不确定性此后讨论了研讨会的项目,并在以下帖子中讨论:

2015年5月4 - 6日加州伯克利分校

第一届逻辑决策理论导论工作坊


这是一系列介绍性研讨会中的第一次,MIRI将具有不同背景的研究人员聚集在一起,讨论了其中一个金宝博娱乐技术议程主题,并开始在该领域的项目和合作。

这次研讨会的主题是决策理论此后讨论了研讨会的项目,并在以下帖子中讨论:

2014年5月3-11,- 伯克利,加利福尼亚州

第七届逻辑学、概率论和反思研讨会


在这个研讨会的参与者——他们都是过去研讨会的老手——致力于各种与友好AI相关的问题。这个研讨会的第一份技术报告是可用的这里

2013年12月14日至20日- 伯克利,加利福尼亚州

第六届逻辑学、概率论和反思研讨会


本次研讨会的与会者重点讨论了Lobian障碍概率逻辑,以及更常见的逻辑和概率。描述了该研讨会的结果这里.请看车间的照片这里

2013年11月23日至29日——牛津大学,英国

第五届逻辑学、概率论和反思研讨会


参与者在这个研讨会上调查了与之相关的问题反射代理概率逻辑,先验优于逻辑语句/逻辑不现实的问题。本研讨会的一些结果在2013年12月研讨会上进一步开发并描述了这里

2013年9月7日至13日- 伯克利,加利福尼亚州

第四届逻辑学、概率论和反思研讨会


september_workshop_1_300px本次研讨会集中讨论了与之相关的各种未决问题规范性决策理论.参与者在LaVictoire等人的基础上对该区域的“适定问题”进行头脑风暴Löbian合作工作,在正规化方面取得了一些进展updateless决策理论,并制定了额外的玩具问题,如最终纽科姆的问题

这些结果仍在以各种形式被记录下来。

2013年7月8日至14日- 伯克利,加利福尼亚州

第三届逻辑学、概率论和反思研讨会


september_workshop_2_300px这次研讨会集中讨论了与Löbian自我修改系统的障碍金宝博官方,以及戴姆斯基早期的工作逻辑事先概率.主要的结果是一个证明,试图创建一个概率分布,执行科学归纳Π1对于这些语句的真实版本,这些语句收敛到概率1,可以创建赋值为true Π的零极限概率2陈述。这个结果仍在写成,但它已被简单地讨论一个博客文章Demski。其他一些进展在进一步的研讨会上得到了发展和描述这里

2013年4月3-24,- 伯克利,加利福尼亚州

第二届逻辑学、概率论和反思研讨会


这个为期三周的研讨会同时讨论了多个开放式研究问题。金宝博娱乐首先,参与者发现了一个改进的版本反思原则这是在前面的研讨会中发现的,尽管这个进展仍在记录中。第二,参与者改进了LaVictoire之前的作品,最终写出了“囚犯困境中的强大合作:通过可证明逻辑计划均衡.” Third, participants improved upon Benya Fallenstein’s参数多态性的方法来解决Löbian自我修改系统的障碍金宝博官方

2012年11月11日至18日- 伯克利,加利福尼亚州

第一届逻辑学、概率论和反思研讨会


这个研讨会采取了一条攻击路线Löbian自我修改系统的障碍金宝博官方.这次研讨会的主要结果是塔尔斯基真理的不可定义性(通过不动点定理)中出现了一个非建设性的“漏洞”,这个漏洞后来被写成了“论概率逻辑中真理的可定义性”(见讨论这里这里,这里).