Iwo Bladek

According to our database, Iwo Bladek authored at least 9 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Counterexample-Driven Genetic Programming for Symbolic Regression With Formal Constraints.

Iwo Bladek, Krzysztof Krawiec

IEEE Trans. Evol. Comput., October, 2023

2019

Solving symbolic regression problems with formal constraints.

Iwo Bladek, Krzysztof Krawiec

Proceedings of the Genetic and Evolutionary Computation Conference, 2019

2018

Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications.

Iwo Bladek, Krzysztof Krawiec, Jerry Swan

Evol. Comput., 2018

Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs.

Krzysztof Krawiec, Iwo Bladek, Jerry Swan, John H. Drake

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Neuro-guided genetic programming: prioritizing evolutionary search with neural networks.

Pawel Liskowski, Iwo Bladek, Krzysztof Krawiec

Proceedings of the Genetic and Evolutionary Computation Conference, 2018

2017

Counterexample-driven genetic programming.

Krzysztof Krawiec, Iwo Bladek, Jerry Swan

Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Evolutionary Program Sketching.

Iwo Bladek, Krzysztof Krawiec

Proceedings of the Genetic Programming - 20th European Conference, 2017

2016

Simultaneous Synthesis of Multiple Functions using Genetic Programming with Scaffolding.

Iwo Bladek, Krzysztof Krawiec

Proceedings of the Genetic and Evolutionary Computation Conference, 2016

2015

On contiguous and non-contiguous parallel task scheduling.

Iwo Bladek, Maciej Drozdowski, Frédéric Guinand, Xavier Schepler

J. Sched., 2015