Kensen Shi先生
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2024 [第14条] 文叶明(Yeming Wen) , 彭承印 , Kensen Shi先生 , 亨利克·米查勒夫斯基 , 斯瓦拉特·乔杜里 , 亚历克斯·波洛佐夫 :
使用输入输出规范生成接地数据科学代码。 CoRR公司 abs/2402.08073 ( 2024 ) [i13] 倪安松 , 米尔蒂亚迪斯·阿拉马尼斯 , 阿曼·科汉 , 邓银林 , Kensen Shi先生 , 查尔斯萨顿 , 彭承印 :
NExT:教大型语言模型思考代码执行。 CoRR公司 abs/2404.14662 ( 2024 ) 2023 [j3] Aakanksha Chowdhery公司 , 沙兰·纳朗 , 雅各布·德夫林 , 马尔滕·博斯马 , 高拉夫·米什拉 , 亚当·罗伯茨 , 保罗·巴勒姆 , Hyung Won Chung(亨元忠) , 查尔斯萨顿 , 塞巴斯蒂安·盖尔曼 , 帕克·舒赫 , Kensen Shi先生 , 萨沙·茨瓦什琴科 , 约书亚·梅内斯 , Abhishek Rao公司 , 帕克·巴恩斯 , 易泰 , 萨泽尔 , 维诺德库马尔·普拉巴卡兰 , 艾米丽·雷夫 , 南都 , 本·哈钦森 , 雷纳尔·波普 , 詹姆斯·布拉德伯里 , 杰克·奥斯汀 , 迈克尔·伊萨德 , 盖·古尔·阿里 , 彭承印 , Toju公爵 , 安塞尔姆·列夫斯卡娅 , 格玛沃特 , Sunipa Dev公司 , 亨利克·米查勒夫斯基 , 泽维尔·加西亚 , 韦丹特米斯拉 , 凯文·罗宾逊 , 利亚姆·费德斯 , 丹尼·周 , 达芙妮·伊波利托 , 大卫·卢安 , 林贤泽 , 巴雷特·佐夫 , 亚历山大·斯皮里多诺夫 , 瑞安·塞帕西 , 大卫·多恩 , 希瓦尼·阿格拉瓦尔 , 马克·奥默尼克 , 安德鲁·M·戴 , Thanumalayan Sankaranarayana Pillai先生 , 玛丽·佩拉特 , 艾托·卢科维茨 , 埃里卡·莫雷拉 , 重写子对象 , 奥列克桑德·波洛佐夫 , 凯瑟琳·李 , 周宗伟 , 王学智 , 布伦南·塞塔 , 马克·迪亚兹 , 奥汉·菲拉特 , 米歇尔·卡塔斯塔 , 华裔老板魏培宁 , 凯西·迈尔·赫尔斯特恩 , 道格拉斯·埃克 , 杰夫狄恩 , 斯拉夫·彼得罗夫 , 诺亚·菲德尔 :
PaLM:使用路径缩放语言建模。 J.马赫。 学习。 物件。 24 : 240:1-240:113 ( 2023 ) 【c9】 彭承印 , 李文鼎 , 科凡·肖 , Abhishek Rao公司 , 文叶明(Yeming Wen) , Kensen Shi先生 , 约书亚·霍兰德 , 佩奇·贝利 , 米歇尔·卡塔斯塔 , 亨利克·米查勒夫斯基 , 奥列克桑德·波洛佐夫 , 查尔斯萨顿 :
交互式数据科学笔记本中的自然语言到代码生成。 ACL(1) 2023 : 126-173 【c8】 贝可欣 , 大卫·比伯 , Kensen Shi先生 , 查尔斯萨顿 , 彭承印 :
大型语言模型可以推理程序不变量吗? ICML公司 2023 : 27496-27520 【c7】 Kensen Shi先生 , 戴汉军 , 李文鼎 , 凯文·埃利斯 , 查尔斯萨顿 :
LambdaBeam:具有高阶函数和Lambdas的神经程序搜索。 NeurIPS公司 2023 [i12] Kensen Shi先生 , 戴汉军 , 李文鼎 , 凯文·埃利斯 , 查尔斯萨顿 :
LambdaBeam:具有高阶函数和Lambdas的神经程序搜索。 CoRR公司 abs/2306.02049 ( 2023 ) [i11] Kensen Shi先生 , 乔伊·洪 , 曼齐尔·扎赫尔 , 彭承印 , 查尔斯萨顿 :
ExeDec:神经程序合成中用于合成泛化的执行分解。 CoRR公司 abs/2307.13883 ( 2023 ) 2022 [注2] Kensen Shi先生 , 大卫·比伯 , 里沙布·辛格 :
TF-Coder:张量操作的程序合成。 ACM事务处理。 程序。 语言系统。 44 ( 2 ) : 10:1-10:36 ( 2022 ) 【c6】 Kensen Shi先生 , 戴汉军 , 凯文·埃利斯 , 查尔斯萨顿 :
CrossBeam:学习在自下而上的程序合成中搜索。 ICLR公司 2022 [i10] Kensen Shi先生 , 戴汉军 , 凯文·埃利斯 , 查尔斯萨顿 :
CrossBeam:学习在自下而上的程序合成中搜索。 CoRR公司 腹肌/2203.10452 ( 2022 ) [第九章] Aakanksha Chowdhery公司 , 沙兰·纳朗 , 雅各布·德夫林 , 马尔滕·博斯马 , 高拉夫·米什拉 , 亚当·罗伯茨 , 保罗·巴勒姆 , Hyung Won Chung(亨元忠) , 查尔斯萨顿 , 塞巴斯蒂安·盖尔曼 , 帕克·舒赫 , Kensen Shi先生 , 萨沙·茨瓦什琴科 , 约书亚·梅内斯 , Abhishek Rao公司 , 帕克·巴恩斯 , 易泰 , 萨泽尔 , 维诺德库马尔·普拉巴卡兰 , 艾米丽·雷夫 , 南都 , 本·哈钦森 , 雷纳尔·波普 , 詹姆斯·布拉德伯里 , 杰克·奥斯汀 , 迈克尔·伊萨德 , 盖·古尔·阿里 , 彭承印 , Toju公爵 , 安塞尔姆·列夫斯卡娅 , 格玛沃特 , Sunipa Dev公司 , 亨利克·米查勒夫斯基 , 泽维尔·加西亚 , 韦丹特米斯拉 , 凯文·罗宾逊 , 利亚姆·费德斯 , 丹尼·周 , 达芙妮·伊波利托 , 大卫·卢安 , 林贤泽 , 巴雷特·佐夫 , 亚历山大·斯皮里多诺夫 , 瑞安·塞帕西 , 大卫·多恩 , 希瓦尼·阿格拉瓦尔 , 马克·奥默尼克 , 安德鲁·M·戴 , Thanumalayan Sankaranarayana Pillai先生 , 玛丽·佩拉特 , 艾托·卢科维茨 , 埃里卡·莫雷拉 , 重写子对象 , 奥列克桑德·波洛佐夫 , 凯瑟琳·李 , 周宗伟 , 王学智 , 布伦南·塞塔 , 马克·迪亚兹 , 奥汉·菲拉特 , 米歇尔·卡塔斯塔 , 华裔老板魏培宁 , 凯西·迈尔·赫尔斯特恩 , 道格拉斯·埃克 , 杰夫狄恩 , 斯拉夫·彼得罗夫 , 诺亚·菲德尔 :
PaLM:使用路径缩放语言建模。 CoRR公司 abs/2204.02311 ( 2022 ) [i8] Kensen Shi先生 , 乔伊·洪 , 曼齐尔·扎赫尔 , 彭承印 , 查尔斯萨顿 :
神经程序合成中的合成泛化和分解。 CoRR公司 abs/2204.03758 ( 2022 ) [i7] 大卫·比伯 , Kensen Shi先生 , Petros Maniatis公司 , 查尔斯萨顿 , 文森特·海伦多恩 , 丹尼尔·约翰逊 , 丹尼尔·塔洛 :
用于将Python程序表示为机器学习图形的库。 CoRR公司 abs/2208.07461 ( 2022 ) [i6] 彭承印 , 李文鼎 , 科凡·肖 , Abhishek Rao公司 , 文叶明(Yeming Wen) , Kensen Shi先生 , 约书亚·霍兰德 , 佩奇-贝利 , 米歇尔·卡塔斯塔 , 亨利克·米查勒夫斯基 , 亚历克斯·波洛佐夫 , 查尔斯萨顿 :
交互式数据科学笔记本中的自然语言到代码生成。 CoRR公司 abs/2212.09248 ( 2022 ) 2021 【c5】 奥古斯塔斯·奥德纳 , Kensen Shi先生 , 大卫·比伯 , 里沙布·辛格 , 查尔斯萨顿 , 戴汉军 :
BUSTLE:通过学习指导的探索进行自下而上的程序合成。 ICLR公司 2021 2020 【c4】 阿迪蒂亚·卡纳德 , 马来西亚石油公司 , 戈古尔·巴拉克利什南 , Kensen Shi先生 :
学习和评估源代码的上下文嵌入。 ICML公司 2020 : 5110-5121 【c3】 Kensen Shi先生 , 大卫·比伯 , 查尔斯萨顿 :
不替换序列模型的增量采样。 ICML公司 2020 : 8785-8795 [i5] 阿迪蒂亚·卡纳德 , Petros Maniatis公司 , 戈古尔·巴拉克利什南 , Kensen Shi先生 :
源代码的预训练上下文嵌入。 CoRR公司 abs/2001.00059 ( 2020 ) [i4] Kensen Shi先生 , 大卫·比伯 , 查尔斯萨顿 :
不替换序列模型的增量采样。 CoRR公司 abs/2002.09067 ( 2020 ) [i3] Kensen Shi先生 , 大卫·比伯 , 里沙布·辛格 :
TF-Coder:张量操作的程序合成。 CoRR公司 abs/2003.09040 ( 2020 ) [i2] 奥古斯塔斯·奥德纳 , Kensen Shi先生 , 大卫·比伯 , 里沙布·辛格 , 查尔斯萨顿 :
BUSTLE:自下而上的程序——通过学习指导的探索进行综合。 CoRR公司 abs/2007.14381 ( 2020 )
2010 – 2019
2019 [j1] Kensen Shi先生 , 雅各布·斯坦哈特 , 珀西·梁 :
FrAngel:具有控制结构的基于组件的合成。 程序。 ACM计划。 语言。 三 ( 府绸 ) : 73:1-73:29 ( 2019 ) 2018 [i1] Kensen Shi先生 , 雅各布·斯坦哈特 , 珀西·梁 :
FrAngel:基于成分的合成与控制结构。 CoRR公司 abs/1811.05175 ( 2018 ) 2014 【c2】 Kensen Shi先生 , 乔里·丹尼 , 南希·M·阿马托 :
Spark PRM:在PRM中使用RRT有效探索狭窄通道。 ICRA公司 2014 : 4659-4666 2013 【c1】 乔里·丹尼 , Kensen Shi先生 , 南希·M·阿马托 :
Lazy Toggle PRM:运动规划的单查询方法。 ICRA公司 2013 : 2407-2414
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)