研究

2022

凯登·Codel。 验证精益SAT编码。未发表的硕士论文。
[论文|幻灯片|GitHub公司]

备注：已完成卡内基梅隆大学计算机科学硕士学位的部分学业。Marijn Heule（主席）、Jeremy Avigad、，布莱恩·帕诺，委员会。

2021

凯登·Codel和Marijn J.H.Heule。关于划分和分配固定权重及其变量的研究。SAT 2021的语用学。
[论文|PoS提交|PoS幻灯片|GitHub公司]

备注：在卡内基梅隆大学完成本科生荣誉研究论文。获得艾伦·纽厄尔优秀本科生研究奖的初选。论文的缩短版被接受SAT 2021的语用学，我在那里发表了演讲。

凯登法典Joseph Reeves、Marijn J.H.Heule和Randy Bryant。二元完美匹配基准。SAT 2021的语用学。
[PoS提交|PoS幻灯片|GitHub公司]

注：上述工作是对已完成工作的扩展专题课程我的导师Heule教授。演讲地点：SAT 2021的语用学是我的合著者约瑟夫·里维斯（Joseph Reeves）给出的。

2019

William H.Guss、Brandon Houghton、Nicholay Topin、Phillip Wang、，凯登法典Manuela Veloso和Ruslan Salakhutdinov。MineRL:MInecraft演示的大型数据集。2019年IJCAI。
[arXiv公司|国际JCAI会议记录]

William H.Guss，凯登·Codel卡蒂娅·霍夫曼、布兰登·霍顿、诺博鲁·库诺、斯蒂芬妮·米拉尼、莎拉达·莫汉蒂、迭戈·佩雷斯·列巴纳、鲁斯兰·萨拉库丁诺夫、尼古拉·托宾、马努埃拉·贝洛佐、菲利普·王。MineRL 2019年利用人类先验进行样本高效强化学习竞赛。2019年NeurIPS。
[arXiv公司|NeurIPS竞争|MineRL公司]

备注：我在MineRL团队工作了18个月。在与他们合作期间，我帮助他们开发了一个代码库，用于将AI代理与Minecraft服务器进行交互，我还从事了实验设计和数据收集管道的工作。MineRL团队每年都会为越来越困难的任务举行比赛我的世界.