Solving symbolic regression problems with formal constraints

Created by W.Langdon from gp-bibliography.bib Revision:1.8051

@InProceedings{Bladek:2019:GECCO,

• author = "Iwo Bladek and Krzysztof Krawiec",
• title = "Solving symbolic regression problems with formal constraints",
• booktitle = "GECCO '19: Proceedings of the Genetic and Evolutionary Computation Conference",
• year = "2019",
• editor = "Manuel Lopez-Ibanez and Thomas Stuetzle and Anne Auger and Petr Posik and Leslie {Peprez Caceres} and Andrew M. Sutton and Nadarajen Veerapen and Christine Solnon and Andries Engelbrecht and Stephane Doncieux and Sebastian Risi and Penousal Machado and Vanessa Volz and Christian Blum and Francisco Chicano and Bing Xue and Jean-Baptiste Mouret and Arnaud Liefooghe and Jonathan Fieldsend and Jose Antonio Lozano and Dirk Arnold and Gabriela Ochoa and Tian-Li Yu and Holger Hoos and Yaochu Jin and Ting Hu and Miguel Nicolau and Robin Purshouse and Thomas Baeck and Justyna Petke and Giuliano Antoniol and Johannes Lengler and Per Kristian Lehre",
• pages = "977--984",
• address = "Prague, Czech Republic",
• publisher = "ACM",
• publisher_address = "New York, NY, USA",
• month = "13-17 " # jul,
• organisation = "SIGEVO",
• keywords = "genetic algorithms, genetic programming, symbolic regression, constraints, formal verification, generalization",
• isbn13 = "978-1-4503-6111-8",
• URL = "https://www.cs.put.poznan.pl/ibladek/publications/conferences/gecco19_srfc_paper.pdf",
• DOI = "doi:10.1145/3321707.3321743",
• size = "8 pages",
• abstract = "In many applications of symbolic regression, domain knowledge constrains the space of admissible models by requiring them to have certain properties, like monotonicity, convexity, or symmetry. As only a handful of variants of genetic programming methods proposed to date can take such properties into account, we introduce a principled approach capable of synthesizing models that simultaneously match the provided training data (tests) and meet user-specified formal properties. To this end, we formalize the task of symbolic regression with formal constraints and present a range of formal properties that are common in practice. We also conduct a comparative experiment that confirms the feasibility of the proposed approach on a suite of realistic symbolic regression benchmarks extended with various formal properties. The study is summarized with discussion of results, properties of the method, and implications for symbolic regression.",
• notes = "Also known as \cite{3321743} GECCO-2019 A Recombination of the 28th International Conference on Genetic Algorithms (ICGA) and the 24th Annual Genetic Programming Conference (GP)",

}

Genetic Programming entries for Iwo Bladek Krzysztof Krawiec

Citations