迈克尔·劳森；贾尔斯·里格尔 惰性CoP：惰性副调制符合神经引导搜索。 （英语） Zbl 07532516号 Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12842, 187-199 (2021).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Rawson}和\textit{G.Reger}，莱克特。票据计算。科学。12842、187--199（2021；Zbl 07532516） 全文： 内政部
马丁·苏达 有大脑的吸血鬼是一把很好的ITP锤子。 （英语） Zbl 07497923号 Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。1294192-209（2021）。MSC公司：68次发射 PDF格式BibTeX公司 XML格式引用 \textit{M.Suda}，莱克特。票据计算。科学。12941、192--209（2021；Zbl 07497923） 全文： 内政部 arXiv公司
迈克尔·Färber；塞萨里·卡利西克；约瑟夫·乌尔班 连接表的机器学习指导。 （英语） Zbl 07356974号 J.汽车。推理 65，第2期，287-320（2021年）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Färber}等人，J.Autom。推理65，No.2，287--320（2021；Zbl 07356974） 全文： 内政部
Jan Jakubuv公司；约瑟夫·乌尔班 通过学习小句指导（短文）打击Mizar。 （英语） Zbl 07649983号 Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第34条，第8页（2019）。MSC公司：68伏15 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Jakubuv}和\textit{J.Urban}，LIPIcs——莱布尼茨国际程序。通知。141，第34条，第8页（2019年；Zbl 07649983） 全文： 内政部 arXiv公司
卡雷尔·切瓦洛夫斯克；Jakubův，简；马丁·苏达；约瑟夫·乌尔班 ENIGMA-NG：针对\（\mathrm{E}\）的高效神经和梯度支持推理指南。 （英语） Zbl 07178977号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11716, 197-215 (2019).MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{K.Chvalovsk}等人，Lect。票据计算。科学。11716、197--215（2019；Zbl 07178977） 全文： 内政部 arXiv公司