金宝博娱乐研究讲习班

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

第二届研讨会的途径AI对齐


人权中心兼容AI这个汇集了周末车间研究从美里和加州大学伯克利分校的实习生金宝博娱乐人权中心兼容AI(柴)讨论概念基础和人工智能安全研究有待解决的问题。金宝博娱乐

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

第一次研讨会在途径AI对齐


本周末讲习班聚集了兴趣了解和探索MIRI的之间的交叉研究金宝博娱乐代理基础金宝博娱乐研究议程,保罗·克里斯蒂的研究金宝博娱乐

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

第四车间机器学习和人工智能安全


人工智能杂志这次研讨会与机器学习的长期AI安全问题的背景工作,可以在当前的金宝博娱乐机器学习系统和框架进行建模,例如那些描述的研究人员一起“金宝博官方在AI安全的具体问题”和“对齐方式先进的机器学习系统金宝博官方”。

这次研讨会是由拨款提供部分资助人工智能杂志

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

在代理基金会和AI安全研讨会


这两天的周末研讨会汇集了研究人员在长期的理论AI安全的研究兴趣。金宝博娱乐研讨会涉及的背景和目前的AI安全研究计划和项目(内容侧重于MIRI的金宝博娱乐代理基础技术议程)。它是面向谁拥有技术背景,谁以前没有与金宝博娱乐MIRI广泛的合作研究。

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

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


这个小为期三天的研讨会带来了机器学习的长期AI安全问题的背景工作,可以在当前的机器学习系统和框金宝博娱乐架进行建模,例如那些描述的研究人员一起“金宝博官方在AI安全的具体问题”和“对齐方式先进的机器学习系统金宝博官方”。

包括主题使用共享的嵌入零射门学习之间的差异quantilization的正规化,生成对抗性的网络和古德哈特定律和数学形式化保守的概念学习

11月11-13日2016- 伯克利分校,加州

第九届研讨会逻辑,概率和反思


与会者在这个为期三天的研讨会 - 过去的作坊大多退伍军人 - 就有关美里的各种各样的问题的工作代理基础技术议程

主题包括富域安全的探索,预测人体和预测HCH之间的差从其他决策理论自修改导致决策理论

10月21-23日2016- 伯克利分校,加州

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


这个小为期三天的研讨会带来了机器学习的长期AI安全问题的背景工作,可以在当前的机器学习系统和框金宝博娱乐架进行建模,例如那些描述的研究人员一起“金宝博官方在AI安全的具体问题”和“对齐方式先进的机器学习系统金宝博官方”。

主题包括与不同的本体概念学习,任务AGI问题审查交涉保守观念

8月26日至28日2016- 伯克利分校,加州

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


这个为期三天的研讨会带来了机器学习的长期AI安全问题的背景工作,可以在当前的机器学金宝博娱乐习系统和框架进行建模,例如那些描述的研究人员一起“金宝博官方在AI安全的具体问题”和“对齐方式先进的机器学习系统金宝博官方”。

主题包括学习环境的人类可解释和因果模型;基于影响的措施,disincentivize副作用工程造价功能;强大的设计指标计划的本意解释的质量;和发展古德哈特定律的正式模型,其产生温和的优化。

8月12日至十四日2016- 伯克利分校,加州

第八研讨会逻辑,概率,和反射


在参加本次研讨会 - 过去的车间所有这些退伍军人 - 就有关美里的各种各样的问题的工作代理基础技术议程,侧重于决策理论和逻辑的反事实的正式施工。

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

CSRBAI研讨会代理模型和Multi-Agent的困境


二十名来自机构,包括出席了会议:
  • USC研究所创新技术
  • 卡尔顿大学
  • 人类研究所的未来
  • 卡内基·梅隆大学
  • 哈佛
  • 牛津大学
  • 伦敦大学学院
  • 澳大利亚国立大学
  • 加州大学伯克利分校
  • 德克萨斯大学奥斯汀分校
  • 普林斯顿大学
  • 哥伦比亚大学

座谈会系列的坚固与效益AI包括一系列的研讨会,以协助有兴趣在许多不同的方法与AI的稳定性和可靠性相关的技术挑战的人之间的对话和合作。

第四车间CSRBAI专注于设计,在他们的环境中表现良好代理商的主题,没有忽视对环境或环境中的其他代理商代理的自身行为的影响。

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

CSRBAI研讨会偏好规格


二十名来自机构,包括出席了会议:
  • 澳大利亚国立大学
  • 伦敦大学学院
  • 中心生存风险的研究
  • 牛津大学
  • 人类研究所的未来
  • 卡内基·梅隆大学
  • 瑞士人工智能实验室IDSIA
  • 澳大利亚国立大学
  • 加州大学伯克利分校
  • 布朗大学
  • 蒙特利尔大学
  • USC研究所创新技术

座谈会系列的坚固与效益AI包括一系列的研讨会,以协助有兴趣在许多不同的方法与AI的稳定性和可靠性相关的技术挑战的人之间的对话和合作。

第三车间CSRBAI专注于偏好规格为精干的AI系统,其中想要的代码的长期问题“你明白我的意思,不是我说”变得越来越具有挑战性的话题。金宝博官方

6月4-5日2016- 伯克利分校,加州

CSRBAI研讨会鲁棒性和容错


十四名来自机构,包括出席了会议:
  • 伦敦大学学院
  • 中心生存风险的研究
  • 谷歌
  • 人类研究所的未来
  • 卡内基·梅隆大学
  • 澳大利亚国立大学
  • 加州大学伯克利分校
  • 瑞士人工智能实验室IDSIA
  • 康奈尔大学
  • USC研究所创新技术

座谈会系列的坚固与效益AI包括一系列的研讨会,以协助有兴趣在许多不同的方法与AI的稳定性和可靠性相关的技术挑战的人之间的对话和合作。

的第二次研讨会CSRBAI专注于稳健性和AI系统容错,以及如何的话题,以确保当的AI系统失败,他们失败了优雅和检测。金宝博官方

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

CSRBAI研讨会透明度


二十名来自机构,包括出席了会议:
  • 俄勒冈州立大学
  • 澳大利亚国立大学
  • 人类研究所的未来
  • 卡内基·梅隆大学
  • IBM研金宝博娱乐究
  • 蒙特利尔学院学习算法
  • 谷歌研究金宝博娱乐
  • 斯坦福大学
  • 谷歌
  • 加州大学伯克利分校
  • 伦敦大学学院
  • 哈佛
  • 生命研究所的未来

座谈会系列的坚固与效益AI包括一系列的研讨会,以协助有兴趣在许多不同的方法与AI的稳定性和可靠性相关的技术挑战的人之间的对话和合作。

第一车间CSRBAI专注于透明度AI系统的话题,以及我们如何能够增加透明度,同时保持能力。金宝博官方

4月1-3日2016- 伯克利分校,加州

自我参照,类型理论和形式验证


参加工作就在类型理论的自我参照问题,并自动定理证明,与学习系统该模型本身的目标。金宝博官方

八月28日至30日,2015年- 伯克利分校,加州

第三入门研讨会逻辑决策理论


这是一系列介绍工作坊,其中美里汇集了来自不同背景的研究人员在第六,在一个讨论尚未解决的问题金宝博娱乐技术议程主题,并开始项目合作,并在这一领域。

本次研讨会的主题是决策理论,并在研讨会开始项目在下面的帖子讨论:证明长度和逻辑反事实再探

八月7日至9日,2015年- 伯克利分校,加州

第二入门工作坊逻辑上的不确定性


这是一系列介绍工作坊,其中美里汇集了来自不同背景的研究人员第五,在一个讨论尚未解决的问题金宝博娱乐技术议程主题,并开始项目合作,并在这一领域。

本次研讨会的主题是合乎逻辑的不确定性,并在研讨会开始项目在下面的帖子讨论:什么是反正逻辑关系?

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

第一个介绍研讨会Vingean思考


这是一系列介绍工作坊,其中美里汇集了来自不同背景的研究人员第四,在一个讨论尚未解决的问题金宝博娱乐技术议程主题,并开始项目合作,并在这一领域。

本次研讨会的主题是Vingean反思,并在研讨会开始项目将在以下职位讨论:

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

第二入门研讨会逻辑决策理论


这是一系列介绍工作坊,其中美里汇集了来自不同背景的研究人员第三,在一个讨论尚未解决的问题金宝博娱乐技术议程主题,并开始项目合作,并在这一领域。

本次研讨会的主题是决策理论,并在研讨会开始项目在下面的帖子讨论:固定点定理在有限和无限的情况下

5月29日至31日,2015年- 伯克利分校,加州

第一个入门工作坊逻辑上的不确定性


这是一系列介绍工作坊,其中美里汇集了来自不同背景的研究人员第二,在一个讨论尚未解决的问题金宝博娱乐技术议程主题,并开始项目合作,并在这一领域。

本次研讨会的主题是合乎逻辑的不确定性,并在研讨会开始项目将在以下职位讨论:

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

第一个介绍研讨会的逻辑决策理论


这是一系列介绍工作坊,其中美里汇集了来自不同背景的研究人员第一个,在一个讨论尚未解决的问题金宝博娱乐技术议程主题,并开始项目合作,并在这一领域。

本次研讨会的主题是决策理论,并在研讨会开始项目将在以下职位讨论:

5月3日至11日2014- 伯克利分校,加州

第七研讨会逻辑,概率,和反射


在参加本次研讨会 - 所有的过去的作坊他们的老兵 - 在各种相关友好人工智能问题的工作。从这个车间的第一个技术报告可这里

12月14日至20日,2013- 伯克利分校,加州

第六届研讨会逻辑,概率和反思


在本次研讨会的与会者集中在Löbian障碍概率逻辑和逻辑和概率的交点更普遍。该研讨会的结果进行说明这里。见照片从车间这里

11月23日至29日,2013- 英国牛津

第五研讨会逻辑,概率,和反射


在本次研讨会的与会者探讨有关问题反射剂概率逻辑在逻辑语句先验/逻辑全知问题。从本次研讨会的一些结果进一步在2013年12月生产车间进行了开发和描述这里

9月7日至一十三日,2013- 伯克利分校,加州

第四研讨会逻辑,概率,和反射


september_workshop_1_300px本次研讨会集中了各种相关的公开问题规范决策理论。参加头脑风暴“以及定问题”的地区,建于LaVictoire等人的Löbian合作工作中,做出对形式化一些进展updateless决策理论,并制定了额外的玩具问题,如终极纽康的问题

这些结果仍在以各种形式写出来。

7月8日至14日,2013- 伯克利分校,加州

第三研讨会逻辑,概率,和反射


september_workshop_2_300px该研讨会的重点是有关的各种问题对于自修改系统Löbian障碍金宝博官方,并Demski对早期工作逻辑先验概率。该primary result was a proof that attempting to create a probability distribution which performs scientific induction on Π1statements, converging to probability 1 for the true versions of such statements, can create zero limiting probabilities assigned to true Π2声明。这一结果仍然被写上去,但它已经简要讨论中博客文章通过Demski。其他进步之位都在进一步发展研讨会和描述这里

四月3日至24日,2013- 伯克利分校,加州

第二研讨会逻辑,概率,和反射


这个为期一周的讲习班同时处理多个开放研究的问题。金宝博娱乐首先,参与者发现的一个改进版本反射原理发现在以前的车间,虽然这种进步仍然被写上去。其次,与会者LaVictoire在早期的工作中提高,导致纸张“通过可证性逻辑程序均衡:在囚徒困境强大的合作“。第三,参与者在Benya Fallenstein的改进参数多态的方法去探对于自修改系统Löbian障碍金宝博官方

十一月11日至18日,2012- 伯克利分校,加州

第一研讨会逻辑,概率,和反射


本次研讨会追求进攻的一个行上对于自修改系统Löbian障碍金宝博官方。本车间的主要结果是在真实的塔斯基不可定义的非建设性“漏洞”(经由固定点定理),后来写入了草稿形式为“真理可定义在概率逻辑”(见讨论这里这里这里)。