米罗斯拉夫·奥尔萨克
人员信息
SPARQL查询
优化列表
2020年–今天
2024 [j6] 拉斯·布劳布洛克 , 米罗斯拉夫·奥尔萨克 , 赫尔曼·杰弗斯 :
散列模上下文敏感𝛼-等价。 程序。 ACM计划。 语言。 8 ( PLDI公司 ) : 2027-2050 ( 2024 ) [第17条] 西蒙·弗里德 , 米雷克·奥尔沙克 , 朱利叶斯·伯纳 , 托马斯·卢卡西维茨 :
IMO的小挑战:LLM的非硬奥林匹克数学数据集。 ICLR的小论文 2024 [第16条] 拉斯·布劳布洛克 , 米雷克·奥尔沙克 , 杰森·鲁特 , 菲德尔·伊万·沙波斯克·马索洛 , 杰尔·皮蓬布鲁克 , 瓦西里·佩斯顿 :
Graph2Tac:形式数学概念的在线表示学习。 ICML公司 2024 [第15条] 乍得E.布朗 , 米可拉斯·贾诺塔 , 米雷克·奥尔沙克 :
符号计算带来无限乐趣。 PAAR+SC²@IJCAR 2024 : 111-121 [i20] 拉斯·布劳布洛克 , 米罗斯拉夫·奥尔萨克 , 赫尔曼·杰弗斯 :
散列模上下文敏感α-等价。 CoRR公司 abs/2401.02948 ( 2024 ) [i19] 杰森·鲁特 , 米罗斯拉夫·奥尔萨克 , 拉斯·布劳布洛克 , 菲德尔·伊万·沙波斯克·马索洛 , 杰尔·皮蓬布鲁克 , 瓦西里·佩斯顿 :
Graph2Tac:学习定理证明中数学概念的层次表示。 CoRR公司 abs/2401.02949 ( 2024 ) [i18] 乍得E.布朗 , 米科拉斯·加诺塔 , 米雷克·奥尔沙克 :
符号计算带来无限乐趣。 CoRR公司 abs/2404.12048 ( 2024 ) 2023 [j5] Thibault Gauthier公司 , 米罗斯拉夫·奥尔萨克 , 约瑟夫·乌尔班 :
外来编码。 国际期刊近似原因。 162 : 109009 ( 2023 ) [第14条] 扬·贾库布夫 , 卡雷尔·奇瓦洛夫斯克 , 查拉图斯特拉·阿马德乌斯·戈泽尔 , 塞萨里·卡利西克 , 米雷克·奥尔沙克 , 巴托斯·彼得罗夫斯基 , 斯蒂芬·舒尔茨 , 马丁·苏达 , 约瑟夫·乌尔班 :
MizAR 60用于MizAR 50。 ITP公司 2023 : 19:1-19:22 [i17] Thibault Gauthier公司 , 米罗斯拉夫·奥尔萨克 , 约瑟夫·乌尔班 :
外来代码。 CoRR公司 abs/2301.11479 ( 2023 ) [i16] 扬·贾库布夫 , 卡雷尔·奇瓦洛夫斯克 , 查拉图斯特拉·阿马德乌斯·戈泽尔 , 塞萨里·卡利西克 , 米雷克·奥尔沙克 , 巴托斯·彼得罗夫斯基 , 斯蒂芬·舒尔茨 , 马丁·苏达 , 约瑟夫·乌尔班 :
MizAR 60用于MizAR 50。 CoRR公司 abs/2303.06686 ( 2023 ) 2022 [第13条] 查拉图斯特拉·阿马德乌斯·戈泽尔 , 扬·贾库布夫 , 塞萨里·卡利西克 , 米罗斯拉夫·奥尔萨克 , 杰尔·皮蓬布鲁克 , 约瑟夫·乌尔班 :
伊莎贝尔谜。 ITP公司 2022 : 16:1-16:21 【i15】 查拉图斯特拉·阿马德乌斯·戈泽尔 , 扬·贾库布夫 , 塞萨里·卡利西克 , 米罗斯拉夫·奥尔萨克 , 杰尔·皮蓬布鲁克 , 约瑟夫·乌尔班 :
伊莎贝尔谜。 CoRR公司 abs/2205.01981 ( 2022 ) [第14条] 杰尔·皮蓬布鲁克 , 约瑟夫·乌尔班 , 康斯坦丁柯罗文 , 米罗斯拉夫·奥尔萨克 , 汤姆·海斯克斯 , 米可拉斯·贾诺塔 :
机器学习与赫布兰德世界相遇。 CoRR公司 abs/2210.03590 ( 2022 ) 2021 【j4】 利伯·巴托 , 迈克尔·孔帕彻 , 米罗斯拉夫·奥尔萨克 , Trung Van Pham公司 , 迈克尔·平斯克 :
勘误表:寡形克隆中的方程和ω-范畴结构的约束满足问题。 数学杂志。 日志。 21 ( 2 ) : 2192001:1 ( 2021 ) [j3] 米罗斯拉夫·奥尔萨克 :
广义同余满足半分配代数的Maltsev条件。 J.塞姆。 日志。 86 ( 4 ) : 1432-1451 ( 2021 ) [第12条] 查拉图斯特拉·阿马德乌斯·戈泽尔 , 卡雷尔·奇瓦洛夫斯克 , 扬·贾库布夫 , 米罗斯拉夫·奥尔萨克 , 约瑟夫·乌尔班 :
快谜和慢谜以及家长指导。 FroCoS公司 2021 : 173-191 [第11条] 雅罗斯拉夫·麦克 , 基里·塞德拉尔 , 米罗斯拉夫·奥尔萨克 , 约瑟夫·乌尔班 , 约瑟夫·西维奇 :
学习从图像中解决几何构造问题。 CICM公司 2021 : 167-184 [c10] 马可·巴加泰拉 , 米罗斯拉夫·奥尔萨克 , 米查尔·罗利内克 , 格奥尔格·马蒂乌斯 :
在具有组合硬搜索空间的环境中从像素进行规划。 NeurIPS公司 2021 : 24707-24718 【c9】 Zsolt Zombori公司 , 约瑟夫·乌尔班 , 米罗斯拉夫·奥尔萨克 :
熵在指导连接验证程序中的作用。 TABLEAUX公司 2021 : 218-235 【c8】 卡雷尔·奇瓦洛夫斯克 , 扬·贾库布夫 , 米罗斯拉夫·奥尔萨克 , 约瑟夫·乌尔班 :
学习定理证明组件。 TABLEAUX公司 2021 : 266-278 [i13] Zsolt Zombori公司 , 约瑟夫·乌尔班 , 米罗斯拉夫·奥尔萨克 :
熵在指导连接验证程序中的作用。 CoRR公司 腹肌/2105.14706 ( 2021 ) [i12] 雅罗斯拉夫·麦克 , 基里·塞德拉尔 , 米罗斯拉夫·奥尔萨克 , 约瑟夫·乌尔班 , 约瑟夫·西维奇 :
学习从图像中解决几何构造问题。 CoRR公司 abs/2106.14195 ( 2021 ) [i11] 查拉图斯特拉·阿马德乌斯·戈泽尔 , 卡雷尔·奇瓦洛夫斯克 , 扬·贾库布夫 , 米罗斯拉夫·奥尔萨克 , 约瑟夫·乌尔班 :
快谜和慢谜以及家长指导。 CoRR公司 abs/2107.06750 ( 2021 ) [i10] 卡雷尔·奇瓦洛夫斯克 , 扬·贾库布夫 , 米罗斯拉夫·奥尔萨克 , 约瑟夫·乌尔班 :
学习定理证明组件。 CoRR公司 abs/2107.10034 ( 2021 ) [第九章] 马可·巴加泰拉 , 米雷克·奥尔沙克 , 米查尔·罗利内克 , 格奥尔格·马蒂乌斯 :
在具有组合硬搜索空间的环境中从像素进行规划。 CoRR公司 abs/2110.06149 ( 2021 ) 2020 [注2] 米罗斯拉夫·奥尔萨克 :
强连通有向图的循环条件。 国际代数计算杂志。 30 ( 03 ) : 467-499 ( 2020 ) 【c7】 扬·贾库布夫 , 卡雷尔·奇瓦洛夫斯克 , 米罗斯拉夫·奥尔萨克 , 巴托斯·彼得罗夫斯基 , 马丁·苏达 , 约瑟夫·乌尔班 :
匿名谜:符号无关推理引导机(系统描述)。 国际JCAR(2) 2020 : 448-463 【c6】 米罗斯拉夫·奥尔萨克 , 塞萨里·卡利西克 , 约瑟夫·乌尔班 :
用于自动推理的属性不变量嵌入。 ECAI公司 2020 : 1395-1402 【c5】 米罗斯拉夫·奥尔萨克 :
GeoLogic-欧几里得几何的图形交互定理证明。 信息和通信管理系统 2020 : 263-271 [i8] 扬·贾库布夫 , 卡雷尔·奇瓦洛夫斯克 , 米罗斯拉夫·奥尔萨克 , 巴托斯·彼得罗夫斯基 , 马丁·苏达 , 约瑟夫·乌尔班 :
ENIGMA Anonymous:符号独立推理引导机(系统描述)。 CoRR公司 abs/2002.05406 ( 2020 ) [i7] 米罗斯拉夫·奥尔萨克 :
GeoLogic-欧几里德几何图形交互式定理证明器。 CoRR公司 abs/2005.03586 ( 2020 ) [i6] 曼纽尔·博德斯基 , 安托万·莫特特 , 米罗斯拉夫·奥尔萨克 , Jakub Oprsal公司 , 迈克尔·平斯克 , 罗斯·威拉德 :
ω-范畴结构避免了高度1恒等式。 CoRR公司 abs/2006.12254 ( 2020 )
2010 – 2019
2019 [j1] 利伯·巴托 , 迈克尔·孔帕彻 , 米罗斯拉夫·奥尔萨克 , Van Trung Pham公司 , 迈克尔·平斯克 :
寡形克隆中的方程和ω-范畴结构的约束满足问题。 数学杂志。 日志。 19 ( 2 ) : 1950010:1-1950010:31 ( 2019 ) 【c4】 米隆·菲卡克 , 玛辛·科齐克 , 米罗斯拉夫·奥尔萨克 , Szymon Stankiewicz先生 :
对称布尔PCSP的二分法。 ICALP公司 2019 : 57:1-57:12 【c3】 曼纽尔·博德斯基 , 安托万·莫特特 , 米罗斯拉夫·奥尔萨克 , Jakub Oprsal公司 , 迈克尔·平斯克 , 罗斯·威拉德 :
拓扑是相关的(在无限域约束满足问题的二分法猜想中)。 低收入国家 2019 : 1-12 [i5] 曼纽尔·博德斯基 , 安托万·莫特特 , 米罗斯拉夫·奥尔萨克 , Jakub Oprsal公司 , 迈克尔·平斯克 , 罗斯·威拉德 :
拓扑是相关的(在约束满足问题的无限域二分法猜想中)。 CoRR公司 abs/1901.04237 ( 2019 ) [i4] 米隆·菲卡克 , 马金·科齐克 , 米罗斯拉夫·奥尔萨克 , Szymon Stankiewicz先生 :
对称布尔PCSP的二分法。 CoRR公司 abs/1904.12424 ( 2019 ) [i3] 米罗斯拉夫·奥尔萨克 , 塞萨里·卡利西克 , 约瑟夫·乌尔班 :
用于自动推理的属性不变量嵌入。 CoRR公司 abs/1911.12073 ( 2019 ) 2018 【c2】 塞萨里·卡利西克 , 约瑟夫·乌尔班 , 亨利克·米查勒夫斯基 , 米罗斯拉夫·奥尔萨克 :
定理证明的强化学习。 NeurIPS公司 2018 : 8836-8847 [i2] 塞萨里·卡利西克 , 约瑟夫·乌尔班 , Henryk Michalewski , 米雷克·奥尔沙克 :
定理证明的强化学习。 CoRR公司 abs/1805.07563 ( 2018 ) 2017 【c1】 利伯·巴托 , 迈克尔·孔帕彻 , 米罗斯拉夫·奥尔萨克 , Trung Van Pham公司 , 迈克尔·平斯克 :
无限域约束满足问题两个二分法猜想的等价性。 低收入国家 2017 : 1-12 2016 [i1] 利伯·巴托 , 迈克尔·孔帕彻 , 米罗斯拉夫·奥尔萨克 , 迈克尔·平斯克 , Van Trung Pham公司 :
寡形克隆中的方程和$ω$范畴结构的约束满足问题。 CoRR公司 abs/1612.07551 ( 2016 )