阿尔胡塞因·法齐;马特伊·巴洛格;黄,Aja;托马斯·休伯特;贝纳迪诺·罗梅拉·佩雷斯;穆罕默德·巴雷卡坦;亚历山大·诺维科夫;Francisco J.R.鲁伊斯。;朱利安·施里特维瑟;Grzegorz Swirszcz公司;西尔弗,大卫;黛米斯·哈萨比斯;科利,普希米特 通过强化学习发现更快的矩阵乘法算法。 (英语) Zbl 1496.65060号 自然,伦敦 610,编号7930,47-53(2022).MSC公司:65层99 65-04 65年20月 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{A.Fawzi}等人,《自然》,伦敦610,编号7930,47-53(2022;Zbl 1496.65060) 全文: 内政部 OA许可证
Gerasimov,A.Yu。;D.O.库茨。;诺维科夫,A.A。 通过程序的符号执行来检测错误的形式化模型。 (英语) Zbl 1467.68037号 程序。计算。柔和。 46,第8期,731-736(2020).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Yu.Gerasimov}等人,《程序》。计算。柔和。46,编号8,731--736(2020;Zbl 1467.68037) 全文: 内政部