两个新的研究人员金宝博娱乐加入Miri

||消息

Miri的研究金宝博娱乐团队正在成长!我很高兴地宣布我们雇用了两个新的研究员,以促进我们的工作金宝博娱乐ai对齐:Sam Eisenstat和Marcello Herreshoff,都来自谷歌。

Sam Eisenstat.Sam Eisenstat.在滑铁卢大学学习纯数学,在那里他在数学逻辑上进行了研究。金宝博娱乐他以前的工作是在谷歌自动建设深度学习模式。

山姆的研究重金宝博娱乐点是与推理和机构基础有关的问题,他特别有兴趣探索目前逻辑不确定性和贝叶斯推理的基础之间的类比。他还在决策理论和反应性上做了工作。他过去的工作与miri包括“渐近决策理论,“”限制可计算,自我反光分布,“ 和 ”对验证长度和逻辑反射性的非正式猜想的反例。“

Marcello Herreshoff.Marcello Herreshoff.在斯坦福学习,接受B.S.在荣誉的数学中,在Putnam竞赛中获得两个尊敬的提到,世界上最受大学的大学数学竞赛。随后马塞洛在谷歌拍摄了五年的软件工程师,在机器学习中获得了背景。

Marcello是Miri最早的研究合作者之一,首先参加了我们的金宝博娱乐金宝博娱乐研究研讨会与Eliezer Yudkowsky,Paul Christiano和MihályBárász一起。Marcello过去与我们合作,帮助产生了“通过Löb的定理囚犯困境的计划均衡,“”概率逻辑中的真理绝定,“ 和 ”用于自我修改的剪辑代理。“他的研究金宝博娱乐兴趣包括逻辑不确定性和反射剂的设计。

Sam和Marcello将在4月的前两周开始于我们。这标志着我们自2015年以来的第一波新研究奖学金的开始,尽管我们最近向团队添加了助理研究奖学金(20金宝博娱乐16年中期)的比赛。

我们有额外的计划在未来几个月扩展我们的研究团队,很快将聘请在Miri的更多样化金宝博娱乐的技术角色 - 详细信息即将到来!