查拉图斯特拉·阿马德乌斯·戈泽尔
人员信息
优化列表
2020年–今天
2024 【c8】 查拉图斯特拉·阿马德乌斯·戈泽尔 :
有益的AGI:关爱和协作是你所需要的。 AGI公司 2024 : 84-88 2023 【c7】 扬·贾库布夫 , 卡雷尔·奇瓦洛夫斯克 , 查拉图斯特拉·阿马德乌斯·戈泽尔 , 塞萨里·卡利西克 , 米雷克·奥尔沙克 , 巴托斯·彼得罗夫斯基 , 斯蒂芬·舒尔茨 , 马丁·苏达 , 约瑟夫·乌尔班 :
MizAR 60用于MizAR 50。 ITP公司 2023 : 19:1-19:22 [i8] 扬·贾库布夫 , 卡雷尔·奇瓦洛夫斯克 , 查拉图斯特拉·阿马德乌斯·戈泽尔 , 塞萨里·卡利西克 , 米雷克·奥尔沙克 , 巴托斯·彼得罗夫斯基 , 斯蒂芬·舒尔茨 , 马丁·苏达 , 约瑟夫·乌尔班 :
MizAR 60用于MizAR 50。 CoRR公司 abs/2303.06686 ( 2023 ) [i7] 谢尔盖·罗迪奥诺夫 , 查拉图斯特拉·阿马德乌斯·戈泽尔 , 戈泽尔 :
对ETHICS数据集上的GPT-4进行评估。 CoRR公司 abs/2309.10492 ( 2023 ) [i6] 戈泽尔 , 维塔利·博格达诺夫 , 迈克尔·邓肯 , 黛博拉·邓 , 查拉图斯特拉·阿马德乌斯·戈泽尔 , 简·霍林斯 , 马修·伊克尔 , 卢修斯·格雷戈里·梅雷迪斯 , 阿列克谢·波塔波夫 , 安德烈·路易斯·德塞纳 , 海德拉·塞德 , 安德烈斯·苏亚雷斯 , 亚当·范德沃斯特 , 罗伯特·沃科 :
OpenCog Hyperon:人类层面及其以外的AGI框架。 CoRR公司 abs/2310.18318 ( 2023 ) 2022 【c6】 查拉图斯特拉·阿马德乌斯·戈泽尔 , 扬·贾库布夫 , 塞萨里·卡利西克 , 米罗斯拉夫·奥尔萨克 , 杰尔·皮蓬布鲁克 , 约瑟夫·乌尔班 :
伊莎贝尔谜。 ITP公司 2022 : 16:1-16:21 [i5] 查拉图斯特拉·阿马德乌斯·戈泽尔 , 扬·贾库布夫 , 塞萨里·卡利西克 , 米罗斯拉夫·奥尔萨克 , 杰尔·皮蓬布鲁克 , 约瑟夫·乌尔班 :
伊莎贝尔谜。 CoRR公司 abs/2205.01981 ( 2022 ) 2021 【c5】 查拉图斯特拉·阿马德乌斯·戈泽尔 , 卡雷尔·奇瓦洛夫斯克 , 扬·贾库布夫 , 米罗斯拉夫·奥尔萨克 , 约瑟夫·乌尔班 :
快谜和慢谜以及家长指导。 FroCoS公司 2021 : 173-191 [i4] 查拉图斯特拉·阿马德乌斯·戈泽尔 , 卡雷尔·奇瓦洛夫斯克 , 扬·贾库布夫 , 米罗斯拉夫·奥尔萨克 , 约瑟夫·乌尔班 :
快谜和慢谜以及家长指导。 CoRR公司 abs/2107.06750 ( 2021 ) 2020 【c4】 查拉图斯特拉·阿马德乌斯·戈泽尔 :
让E再次智能化(短文)。 国际JCAR(2) 2020 : 408-415 [i3] 查拉图斯特拉·阿马德乌斯·戈泽尔 :
让E再次智能化。 CoRR公司 abs/2004.08858 ( 2020 )
2010 – 2019
2019 【c3】 查拉图斯特拉·阿马德乌斯·戈泽尔 , 扬·贾库布夫 , 约瑟夫·乌尔班 :
谜之观察:证明观察遇到谜。 TABLEAUX公司 2019 : 374-388 [i2] 查拉图斯特拉·阿马德乌斯·戈泽尔 , 扬·贾库布夫 , 约瑟夫·乌尔班 :
谜之观察:证明观察遇到谜。 CoRR公司 abs/1905.09565 ( 2019 ) 2018 【c2】 查拉图斯特拉·阿马德乌斯·戈泽尔 , 扬·贾库布夫 , 斯蒂芬·舒尔茨 , 约瑟夫·乌尔班 :
ProofWatch:大肠杆菌大型理论观察名单指南。 ITP公司 2018 : 270-288 【c1】 查拉图斯特拉·阿马德乌斯·戈泽尔 , 扬·贾库布夫 , 约瑟夫·乌尔班 :
校对手表遇到谜:第一次实验。 LPAR(研讨会和短文) 2018 : 15-22 [i1] 查拉图斯特拉·阿马德乌斯·戈泽尔 , 扬·贾库布夫 , 斯蒂芬·舒尔茨 , 约瑟夫·乌尔班 :
ProofWatch:大肠杆菌大型理论观察名单指南。 CoRR公司 abs/1802.04007 ( 2018 )