Lasse Blaauwbroek
- Learning Guided Automated Reasoning: A Brief Survey
2024/03/06 by Lasse Blaauwbroek, David M. Cerna, Blaauwbroek, Lasse +11 · 3 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)