4 papers
GPU-Accelerated Rule Evaluation and Evolution
Hormoz Shahrzad, Risto Miikkulainen
This paper introduces an innovative approach to boost the efficiency and scalability of Evolutionary Rule-based machine Learning (ERL), a key technique in explainable AI. While tra…
Learning from the Past: How Previous Technological Transformations Can Guide AI Development
Risto Miikkulainen, Jerry Smith, Babak Hodjat
Artificial Intelligence (AI) is rapidly changing many areas of society. While this transformation has tremendous potential, there are several challenges as well. Using the history…
EVOTER: Evolution of Transparent Explainable Rule-sets
Hormoz Shahrzad, Babak Hodjat, Risto Miikkulainen
Most AI systems are black boxes generating reasonable outputs for given inputs. Some domains, however, have explainability and trustworthiness requirements that cannot be directly…
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
Wenxi Wang, Yang Hu, Mohit Tiwari +3
Propositional satisfiability (SAT) is an NP-complete problem that impacts many research fields, such as planning, verification, and security. Mainstream modern SAT solvers are base…