默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

巴托斯·彼得罗夫斯基

巴托斯·帕维尔·彼得罗夫斯基（Bartosz Pawel Piotrowski）

>主页 >珀森斯

人员信息

附属： 波兰华沙华沙大学
附属： 捷克信息学、机器人学和控制论研究所，捷克共和国布拉格

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[第12条]
- 看法
  - 电子版@openreview.net（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/icr/MikulaTAPJZSKMW24会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclr/MikulaTAPJZSKMW24
马西耶·米库拉,西蒙·托尔科夫斯基,西蒙·安东尼亚克,巴托斯·彼得罗夫斯基,阿尔伯特·Q·江,周金鹏,克里斯蒂安·塞格迪,卢卡斯·库辛斯基,彼得罗·米洛斯,吴雨怀:
Magnushammer：基于变换的前提选择方法。 ICLR公司 2024
[i10]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2406-04165
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2406-04165
Alicja Ziarko（阿里卡·齐亚科）,阿尔伯特·Q·江,巴托斯·彼得罗夫斯基,李文达（Wenda Li）,马蒂亚·贾姆尼克,彼得罗·米洛斯:
将语言模型重新调整为嵌入模型：寻找计算最优配方。 CoRR公司 abs/2406.04165(2024)
2023
[第11条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/JakubuvCGKOP00U23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/JakubuvCGKOP00U23
扬·贾库布夫,卡雷尔·奇瓦洛夫斯克,查拉图斯特拉·阿马德乌斯·戈泽尔,塞萨里·卡利西克,米雷克·奥尔沙克,巴托斯·彼得罗夫斯基,斯蒂芬·舒尔茨,马丁·苏达,约瑟夫·乌尔班:
MizAR 60用于MizAR 50。 ITP公司 2023:19:1-19:22
[c10]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/smt/JakubuvJPP023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/smt/JakubuvJPP023
扬·贾库布夫,米科拉斯·加诺塔,巴托斯·彼得罗夫斯基,杰尔·皮蓬布鲁克,安德鲁·雷诺兹:
在SMT中选择用于实例化的量化器。表面贴装技术 2023:71-77
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/synasc/JanotaPC23会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/synasc/JanotaPC23
米科拉斯·加诺塔,巴托斯·彼得罗夫斯基,卡雷尔·奇瓦洛夫斯克:
学习无限SMT模型（正在进行中）。 SYNASC公司 2023:82-85
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/PiotrowskiMA23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/PiotrowskiMA23
巴托斯·彼得罗夫斯基,拉蒙·费尔南德斯·米尔,爱德华·艾尔斯:
精益的机器学习前提选择。 TABLEAUX公司 2023:175-186
[第九章]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2302-12433
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2302-12433
扎吉尔·阿泽巴耶夫,巴托斯·彼得罗夫斯基,Hailey Schoelkopf公司,爱德华·艾尔斯,德拉戈米尔·拉德夫,杰瑞米·阿维加德:
校对网：本科生水平数学的自动形式化和形式化证明。 CoRR公司 abs/2302.12433(2023)
[i8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2303-06686
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2303-06686
扬·贾库布夫,卡雷尔·奇瓦洛夫斯克,查拉图斯特拉·阿马德乌斯·戈泽尔,塞萨里·卡利西克,米雷克·奥尔沙克,巴托斯·彼得罗夫斯基,斯蒂芬·舒尔茨,马丁·苏达,约瑟夫·乌尔班:
MizAR 60用于MizAR 50。 CoRR公司 abs/2303.06686(2023)
[i7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2304-00994
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2304-00994
巴托斯·彼得罗夫斯基,拉蒙·费尔南德斯·米尔,爱德华·艾尔斯:
精益的机器学习前提选择。 CoRR公司 abs/2304.00994(2023)
2022
【c7】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/JanotaPP22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/JanotaPP22
米科拉斯·加诺塔,杰尔·皮蓬布鲁克,巴托斯·彼得罗夫斯基:
学习SMT中的量词实例化。坐 2022:7:1-7:18
2021
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/张BPCKU21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/张BPCKU21
廖章,拉斯·布劳布洛克,巴托斯·彼得罗夫斯基,普罗科普·塞恩,塞萨里·卡利西克,约瑟夫·乌尔班:
Coq在线机器学习技术：比较。 CICM公司 2021:67-83
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2104-05207
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2104-05207
廖章,拉斯·布劳布洛克,巴托斯·彼得罗夫斯基,普罗科普·塞恩,塞萨里·卡利西克,约瑟夫·乌尔班:
Coq在线机器学习技术：比较。 CoRR公司 abs/2104.05207(2021)
2020
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/JakubuvCOP0U20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/JakubuvCOP0U20
扬·贾库布夫,卡雷尔·奇瓦洛夫斯克,米罗斯拉夫·奥尔萨克,巴托斯·彼得罗夫斯基,马丁·苏达,约瑟夫·乌尔班:
匿名谜：符号无关推理引导机（系统描述）。国际JCAR（2） 2020:448-463
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/PiotrowskiU20公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/PiotrowskiU20网址
巴托斯·彼得罗夫斯基,约瑟夫·乌尔班:
基于递归神经网络的状态前提选择。 LPAR公司 2020:409-422
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/PiotrowskiU20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/PiotrowskiU20网址
巴托斯·彼得罗夫斯基,约瑟夫·乌尔班:
用递归神经网络指导连接表中的推理。 CICM公司 2020:309-314
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2002-05406
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2002-05406
扬·贾库布夫,卡雷尔·奇瓦洛夫斯克,米罗斯拉夫·奥尔萨克,巴托斯·彼得罗夫斯基,马丁·苏达,约瑟夫·乌尔班:
ENIGMA Anonymous：符号独立推理引导机（系统描述）。 CoRR公司 abs/2002.05406(2020)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2004-08212
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2004-08212
巴托斯·彼得罗夫斯基,约瑟夫·乌尔班:
基于递归神经网络的状态前提选择。 CoRR公司 abs/2004.08212(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1905-07961
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1905-07961
巴托斯·彼得罗夫斯基,约瑟夫·乌尔班:
用递归神经网络证明指导定理。 CoRR公司 abs/1905.07961(2019)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1911-04873
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1911-04873
巴托斯·彼得罗夫斯基,约瑟夫·乌尔班,乍得E.布朗,塞萨里·卡利西克:
神经网络能学习符号重写吗？ CoRR公司 abs/1911.04873(2019)
2018
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/PiotrowskiU18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/PiotrowskiU18
巴托斯·彼得罗夫斯基,约瑟夫·乌尔班:
ATPboost：具有ATP反馈的二进制设置中的学习前提选择。国际JCAR 2018:566-574
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ismis/PiotrowskiK18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ismis/PiotrowskiK18网址
巴托斯·帕维尔·彼得罗夫斯基（Bartosz Pawel Piotrowski）,米隆·巴托斯·库萨:
流式细胞术数据的全自动分类。 ISMIS系统 2018:3-12
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1802-03375
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1802-03375
巴托斯·彼得罗夫斯基,约瑟夫·乌尔班:
ATPboost：具有ATP反馈的二进制设置中的学习前提选择。 CoRR公司 abs/1802.03375(2018)

合著者索引

请参阅常见问题解答

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。