- author = "Iwo Bladek and Krzysztof Krawiec",
- title = "Counterexample-Driven Genetic Programming for Symbolic Regression with Formal Constraints",
- journal = "IEEE Transactions on Evolutionary Computation",
- year = "2023",
- volume = "27",
- number = "5",
- pages = "1327--1339",
- month = oct,
- keywords = "genetic algorithms, genetic programming, Satisfiability Modulo Theories, SMT, Symbolic regression, SR",
- ISSN = "1089-778X",
-
DOI = "
doi:10.1109/TEVC.2022.3205286",
- size = "13 pages",
- abstract = "In symbolic regression with formal constraints, the conventional formulation of regression problem is extended with desired properties of the target model, like symmetry, monotonicity, or convexity. We present a genetic programming algorithm that solves such problems using a Satisfiability Modulo Theories solver to formally verify the candidate solutions. The essence of the method consists in collecting the counter examples resulting from model verification and using them to improve search guidance. The method is exact: upon successful termination, the produced model is guaranteed to meet the specified constraints. We compare the effectiveness of the proposed method with standard constraint-agnostic machine learning regression algorithms on a range of benchmarks, and demonstrate that it outperforms them on several performance indicators.",
-
notes = "also known as \cite{9881536}
Institute of Computing Science, Poznan University of Technology, Poznan, Poland",
