Suda, Martin
- Exploiting Generative AI to Scale up Intelligent Tutoring Systems
2023/01/01 by Jakubův, Jan, Chvalovský, Karel, Goertzel, Zarathustra +6 · 294 citations
Computer Science · #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Topic Modeling
- Blocked Clauses in First-Order Logic
2017/02/02 by Benjamin Kiesl, Martin Suda, Kiesl, Benjamin +7 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO
- 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)
- Selecting the Selection
2016/04/27 by Giles Reger, Reger, Giles, Martin Suda +5 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #cs.AI
- A Higher-Order Vampire (Short Paper)
2024/04/24 by Bhayat, Ahmed, Suda, Martin · 4 citations
#03B16 #03B35 #68V15 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)
2020/02/13 by Jan Jakubův, Jakubův, Jan, Karel Chvalovský +9 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Neural and Evolutionary Computing (cs.NE) #Symbolic Computation (cs.SC) #cs.AI #cs.LG #cs.LO #cs.NE #cs.SC
- 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)
- Planning Domain Model Acquisition from State Traces without Action Parameters
2024/02/16 by Tomáš Balyo, Martin Suda, Balyo, Tomáš +12 · 1 citation
Computer Science · Decision Sciences · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Complex Systems and Decision Making #FOS: Computer and information sciences
- The Vampire Diary
2025/06/03 by Filip Bártek, Bártek, Filip, Ahmed Bhayat +24 · 1 voice
Computer Science · Psychology · Social Sciences · #Crime, Deviance, and Social Control #FOS: Computer and information sciences #Gothic Literature and Media Analysis #Logic in Computer Science (cs.LO) #Sexuality, Behavior, and Technology #cs.LO
- Hammering Higher Order Set Theory
2025/09/10 by Brown, Chad E., Kaliszyk, Cezary, Suda, Martin +1 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)