Jan Jakubův

1. ENIGMA: Efficient Learning-based Inference Guiding Machine
   2017/01/23 by Jan Jakubův, Josef Urban, Jakubův, Jan +1 · 3 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Handwritten Text Recognition Techniques #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning (cs.LG) #Natural Language Processing Techniques #cs.AI #cs.LG #cs.LO
2. Learning Guided Automated Reasoning: A Brief Survey
   2024/03/06 by Lasse Blaauwbroek, Blaauwbroek, Lasse, David M. Cerna +11 · 4 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Intelligent Tutoring Systems and Adaptive Learning #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Natural Language Processing Techniques #Neural and Evolutionary Computing (cs.NE) #Symbolic Computation (cs.SC)
3. Hammering Mizar by Learning Clause Guidance
   2019/04/02 by Jan Jakubův, Jakubův, Jan, Josef Urban +1 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Machine Learning (cs.LG) #Semantic Web and Ontologies
4. MizAR 60 for Mizar 50
   2023/03/12 by Jan Jakubův, Karel Chvalovský, Jakubův, Jan +15 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Handwritten Text Recognition Techniques #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning (cs.LG) #Natural Language Processing Techniques #Symbolic Computation (cs.SC)